diff options
| -rwxr-xr-x | src/development/genhtml.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/development/genhtml.sh b/src/development/genhtml.sh index d7f9edf..d48df68 100755 --- a/src/development/genhtml.sh +++ b/src/development/genhtml.sh @@ -2,6 +2,7 @@ set -eu MD="$1" +HTML="$(dirname "$MD")/$(basename "$MD" .md).html" escape() { sed 's/a/a/' |