From 18c40275573ea4bc222858ad8bc833bdf97c7293 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Mon, 12 May 2014 15:56:42 -0700 Subject: [PATCH] teeny bug in server-routes --- server-routes.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/server-routes.rkt b/server-routes.rkt index e6cbd19..5faa83a 100644 --- a/server-routes.rkt +++ b/server-routes.rkt @@ -168,7 +168,7 @@ [(directory-exists? (build-path dashboard-dir filename)) ; links subdir to its dashboard (cons (format "~a/~a" filename world:default-pagetree) (format "~a/" filename))] [(and source (equal? (get-ext source) "scrbl")) - (cons #f `(a ((href ,filename)) ,filename (span ((class "file-ext")) " (from " ,(path->string (find-relative-path dashboard-dir source)) ")")))] + (cons #f `(a ((href ,filename)) ,filename (span ((class "file-ext")) " (from " ,(->string (find-relative-path dashboard-dir source)) ")")))] [source (cons #f `(a ((href ,filename)) ,filename (span ((class "file-ext")) "." ,(get-ext source))))] [else (cons filename filename)])