From 2f928b88dd2ee213674f6916e9d90bba505e292d Mon Sep 17 00:00:00 2001 From: haskal Date: Fri, 11 Jun 2021 06:14:34 -0400 Subject: [PATCH] add up nav link --- render.rkt | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/render.rkt b/render.rkt index abd58d2..c38d621 100644 --- a/render.rkt +++ b/render.rkt @@ -164,10 +164,14 @@ name `(li () (a ([href ,link]) ,(if (equal? p exploded) `(strong () ,name) name)))))) + (define parent-name (simplify-path (build-path xref-name 'up) #f)) (define site-toc - (apply list 'ol '() - (for/list ([def (in-list (sort site-toc-defs stringstring parent-name))]) "")))) + ,@(for/list ([def (in-list (sort site-toc-defs string