From f725632444cfcffd4a909f0aa46635f857731b34 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Mon, 11 Nov 2019 13:55:04 -0800 Subject: [PATCH] revert missing-file error (addresses #207) --- pollen/private/ts.rktd | 2 +- pollen/render.rkt | 5 +---- 2 files changed, 2 insertions(+), 5 deletions(-) diff --git a/pollen/private/ts.rktd b/pollen/private/ts.rktd index 48f663b..e298a43 100644 --- a/pollen/private/ts.rktd +++ b/pollen/private/ts.rktd @@ -1 +1 @@ -1573406977 +1573509303 diff --git a/pollen/render.rkt b/pollen/render.rkt index 495591b..ec755ac 100644 --- a/pollen/render.rkt +++ b/pollen/render.rkt @@ -160,10 +160,7 @@ (loop (append (pagetree->paths pt) rest) acc)] [(app ->source-path (and (not #false) (? file-exists?) sp)) (loop rest (cons sp acc))] - [(or (? file-exists?) (? directory-exists?)) (loop rest acc)] - [unknown (raise-user-error 'render-batch - "~a is not a source path, directory, or output path" - unknown)])]))) + [_ (loop rest acc)])]))) (cond [(null? expanded-source-paths) (message "[no paths to render]")] [wants-dry-run? (for-each message expanded-source-paths)]