From 06aabf182f3a5a568db1a408f66d43ca2b9b6c5e Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Sat, 8 Nov 2014 19:32:26 -0500 Subject: [PATCH] Fix multi-documentation (e.g. scribble-doc) --- TODO.md | 2 -- src/main.rkt | 3 ++- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/TODO.md b/TODO.md index 40ac6ab..a85698d 100644 --- a/TODO.md +++ b/TODO.md @@ -1,7 +1,5 @@ Documentation/help text on the edit package page? -Multi-documentation isn't working (e.g. scribble-doc) - Want to be able to see packages with build problems, and packages without build problems - on the search page? would a display of all tags help with this? - or on the main page? diff --git a/src/main.rkt b/src/main.rkt index 916b912..1795456 100644 --- a/src/main.rkt +++ b/src/main.rkt @@ -532,7 +532,8 @@ "ok" "success" "ok")] [else ""]) - (div ,@(let ((docs (or (@ pkg build docs) '()))) + (div ((class "dropdown")) + ,@(let ((docs (or (@ pkg build docs) '()))) (match docs [(list) `()]