summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/build.scm5
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/build.scm b/doc/build.scm
index f5c8713b412..cf3e5d28305 100644
--- a/doc/build.scm
+++ b/doc/build.scm
@@ -309,8 +309,9 @@ actual file name."
309 (define (html-files directory) 309 (define (html-files directory)
310 ;; Return the list of HTML files under DIRECTORY. 310 ;; Return the list of HTML files under DIRECTORY.
311 (map (cut string-append directory "/" <>) 311 (map (cut string-append directory "/" <>)
312 (scandir #$manual (lambda (file) 312 (or (scandir #$manual (lambda (file)
313 (string-suffix? ".html" file))))) 313 (string-suffix? ".html" file)))
314 '())))
314 315
315 (define anchors 316 (define anchors
316 (sort (concatenate 317 (sort (concatenate