diff options
| -rw-r--r-- | doc/build.scm | 5 |
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 |
