From 420226f2614caa9381a8173a77bacb3b5737424e Mon Sep 17 00:00:00 2001 From: Bert Van Vreckem Date: Tue, 19 Sep 2023 11:20:02 +0200 Subject: [PATCH] Verwijder gegenereerde HTML-files voor compilatie --- publish.sh | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/publish.sh b/publish.sh index 9950329..0446116 100644 --- a/publish.sh +++ b/publish.sh @@ -40,15 +40,18 @@ git fetch origin gh-pages printf 'Checking out gh-pages branch\n' git worktree add -B gh-pages ${output_dir} origin/gh-pages +printf 'Deleting generated files\n' +rm -rf "${output_dir:?}/*.html" + printf 'Running make to generate new version\n' make all # Generate slides # Copy tables of content -cp linux-ds.md "${output_dir}" -cp linux-ops.md "${output_dir}" +cp datalinux.md "${output_dir}" +cp opslinux.md "${output_dir}" cp index.md "${output_dir}"/README.md -update_changed_on_message "${output_dir}/linux-ds.md" -update_changed_on_message "${output_dir}/linux-ops.md" +update_changed_on_message "${output_dir}/datalinux.md" +update_changed_on_message "${output_dir}/opslinux.md" update_changed_on_message "${output_dir}/README.md" printf 'Updating gh-pages branch\n'