diff --git a/collects/help/private/docpos.ss b/collects/help/private/docpos.ss index eb2dcfdaa0..364ad70e67 100644 --- a/collects/help/private/docpos.ss +++ b/collects/help/private/docpos.ss @@ -55,7 +55,8 @@ ("profj-beginner" "ProfessorJ Beginner Language" 210) ("profj-intermediate" "ProfessorJ Intermediate Language" 211) - ("profj-advanced" "ProfessorJ Advanced Language" 212))) + ("profj-intermediate-access" "ProfessorJ Intermediate + access Language" 212) + ("profj-advanced" "ProfessorJ Advanced Language" 213))) (define known-docs (map (lambda (x) (cons (string->path (car x)) (cadr x))) docs-and-positions))