From 1a26aa06f1504d7c9da650c83964351f3cc61715 Mon Sep 17 00:00:00 2001 Message-ID: <1a26aa06f1504d7c9da650c83964351f3cc61715.1690632604.git.yantar92@posteo.net> From: Ihor Radchenko Date: Sat, 29 Jul 2023 15:08:59 +0300 Subject: [PATCH] * publish.sh: Trigger error when any file fails to export If we do not throw an error, it may go unnoticed and will not trigger CI report. Link: https://orgmode.org/list/2023-04-18T15-32-06@devnull.Karl-Voit.at --- publish.sh | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/publish.sh b/publish.sh index fd931893..71c3a175 100755 --- a/publish.sh +++ b/publish.sh @@ -53,6 +53,4 @@ (message " [skipping] unchanged %s" org-file) (message "[exporting] %s" (file-relative-name org-file default-directory)) (with-current-buffer (find-file org-file) - (condition-case err - (org-html-export-to-html) - (error (message (error-message-string err)))))))) + (org-html-export-to-html))))) -- 2.41.0