From ae345bb3bc90a967dff8c96163929c8150864491 Mon Sep 17 00:00:00 2001 From: Julien Bigot Date: Thu, 5 Dec 2024 21:24:29 +0900 Subject: [PATCH] Fix --- generate | 140 ++++++++++++++++++++++++------------------------------- 1 file changed, 62 insertions(+), 78 deletions(-) diff --git a/generate b/generate index 88dd480a..172c6a33 100755 --- a/generate +++ b/generate @@ -31,19 +31,73 @@ trap "cd '${DEPLOY_DIR}'; rm -rf '${WORK_DIR}'" EXIT mkdir -p "${WORK_DIR}/public/" cat << EOF > "${WORK_DIR}/public/index.html" - - + + - - - PDI: Documentation versions + +PDI: Documentation versions -

PDI documentation for:

+

PDI documentation for:

EOF + mv "${WORK_DIR}/public"/* "${DEPLOY_DIR}"