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