revert missing-file error (addresses #207)

pull/218/head
Matthew Butterick 5 years ago
parent eacc4da368
commit f725632444

@ -1 +1 @@
1573406977 1573509303

@ -160,10 +160,7 @@
(loop (append (pagetree->paths pt) rest) acc)] (loop (append (pagetree->paths pt) rest) acc)]
[(app ->source-path (and (not #false) (? file-exists?) sp)) [(app ->source-path (and (not #false) (? file-exists?) sp))
(loop rest (cons sp acc))] (loop rest (cons sp acc))]
[(or (? file-exists?) (? directory-exists?)) (loop rest acc)] [_ (loop rest acc)])])))
[unknown (raise-user-error 'render-batch
"~a is not a source path, directory, or output path"
unknown)])])))
(cond (cond
[(null? expanded-source-paths) (message "[no paths to render]")] [(null? expanded-source-paths) (message "[no paths to render]")]
[wants-dry-run? (for-each message expanded-source-paths)] [wants-dry-run? (for-each message expanded-source-paths)]

Loading…
Cancel
Save