diff options
author | pux <pux@pux.dom> | 2020-06-23 18:27:58 +0200 |
---|---|---|
committer | pux <pux@pux.dom> | 2020-06-23 18:27:58 +0200 |
commit | 7aa9d4ca96625e7c7a1a6be5ee6239be4536d0b7 (patch) | |
tree | c2532bad7e4ea6f4c6d2017258d561d393f57954 /update.sh | |
parent | a43807f73559598959262680a7fa4e5fb952422f (diff) | |
download | pub-docs-7aa9d4ca96625e7c7a1a6be5ee6239be4536d0b7.tar.gz pub-docs-7aa9d4ca96625e7c7a1a6be5ee6239be4536d0b7.tar.bz2 pub-docs-7aa9d4ca96625e7c7a1a6be5ee6239be4536d0b7.zip |
update script
Diffstat (limited to 'update.sh')
-rwxr-xr-x | update.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/update.sh b/update.sh new file mode 100755 index 0000000..f4430f3 --- /dev/null +++ b/update.sh @@ -0,0 +1,7 @@ +#!/bin/sh + +for i in *.md +do + filename_wo_ext=$(echo "$i" | cut -f 1 -d '.') + pandoc $i -s --highlight-style pygments --css=style.css --self-contained -t html5 -o $filename_wo_ext.html +done |