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}"