From 743f2eb0b2f107c8089bbd925dbd5052ff9fa9f9 Mon Sep 17 00:00:00 2001 From: Arun Isaac Date: Wed, 6 Jul 2022 01:29:10 +0530 Subject: bin: Print out filenames when building website. * bin/tissue (pull): Print out filenames when building website. --- bin/tissue | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/bin/tissue b/bin/tissue index 71e0eb7..9ab6330 100755 --- a/bin/tissue +++ b/bin/tissue @@ -420,8 +420,7 @@ HOSTNAME." (build-website (git-top-level) temporary-output-directory (tissue-configuration-web-css config) - (tissue-configuration-web-files config) - #:log-port #f) + (tissue-configuration-web-files config)) (delete-file-recursively website-directory) (rename-file temporary-output-directory website-directory) -- cgit v1.2.3