summaryrefslogtreecommitdiff
path: root/update.sh
diff options
context:
space:
mode:
authorpux <pux@pux.dom>2021-06-28 10:58:04 +0200
committerpux <pux@pux.dom>2021-06-28 10:58:04 +0200
commit8e0f1b240ef05504384b8a07d7f928651b6dce48 (patch)
tree1bad6c12775b9f6c1ceb0e9b47bae701c02c1615 /update.sh
parent480c71b115ea48139d91cef9e65af9fee9c9e0e7 (diff)
downloadpub-docs-8e0f1b240ef05504384b8a07d7f928651b6dce48.tar.gz
pub-docs-8e0f1b240ef05504384b8a07d7f928651b6dce48.tar.bz2
pub-docs-8e0f1b240ef05504384b8a07d7f928651b6dce48.zip
auto index builder
Diffstat (limited to 'update.sh')
-rwxr-xr-xupdate.sh10
1 files changed, 9 insertions, 1 deletions
diff --git a/update.sh b/update.sh
index 2cee2be..9dc0973 100755
--- a/update.sh
+++ b/update.sh
@@ -1,10 +1,18 @@
#!/bin/sh
+cp INDEX_template.md INDEX.md
+
for i in *.md
do
filename_wo_ext=$(echo "$i" | cut -f 1 -d '.')
- if [ $filename_wo_ext != "template" ]
+ if [ $filename_wo_ext != "template" ] && [ $filename_wo_ext != "INDEX_template" ]
then
pandoc $i -s --highlight-style pygments --css=style.css --self-contained -t html5 -o $filename_wo_ext.html
+
+ if [ $filename_wo_ext != "INDEX" ]
+ then
+ echo "[$filename_wo_ext]($filename_wo_ext.html) " >> INDEX.md
+ fi
+
fi
done
in each repos: see "about"-tab (if existing) for more details / README.
mailto contact at omeckman dot net
all timestamps in UTC (German winter time: UTC+01:00, summer time: UTC+02:00)
dark theme is a modded version of: https://gist.github.com/Yoplitein/f4b671a2ec70c9e743fa