Use chunks-toc-prefix to avoid broken links in the sidebar in phc-thesis

SuzanneSoy · Mar 28, 2017 · 5baeefc · 5baeefc
1 parent f281bf8
commit 5baeefc
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/remember-implementation.hl.rkt b/remember-implementation.hl.rkt
@@ -2,7 +2,13 @@
 @(require scribble-enhanced/doc)
 @doc-lib-setup
 
-@title[#:style manual-doc-style]{Implementation of Remember}
+@title[#:style manual-doc-style
+       #:tag "remember"
+       #:tag-prefix "(lib remember/remember-implementation.hl.rkt)"
+       ]{Implementation of Remember}
+
+@(chunks-toc-prefix
+  '("(lib remember/remember-implementation.hl.rkt)"))
 
 @(table-of-contents)