From 7aa9d4ca96625e7c7a1a6be5ee6239be4536d0b7 Mon Sep 17 00:00:00 2001 From: pux Date: Tue, 23 Jun 2020 18:27:58 +0200 Subject: update script --- INDEX.html | 15 +++++++++------ update.sh | 7 +++++++ 2 files changed, 16 insertions(+), 6 deletions(-) create mode 100755 update.sh diff --git a/INDEX.html b/INDEX.html index 2115ef9..9b70420 100644 --- a/INDEX.html +++ b/INDEX.html @@ -1,12 +1,15 @@ - - + + - - - + + + - + +

public documents

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 -- cgit v1.2.2-1-g5e49