From 03503840e94a565afa487fd921a163b325c12070 Mon Sep 17 00:00:00 2001 From: Jens Axel Soegaard Date: Sat, 25 Aug 2007 20:40:12 +0000 Subject: [PATCH] Fixed position of ProfJ manuals. svn: r7163 --- collects/help/private/docpos.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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))