diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/clean_html | 16 | ||||
| -rw-r--r-- | bin/template.html | 2 |
2 files changed, 15 insertions, 3 deletions
diff --git a/bin/clean_html b/bin/clean_html index e2bf0e799..9e3e9c84c 100755 --- a/bin/clean_html +++ b/bin/clean_html @@ -1,8 +1,20 @@ #!/bin/bash -### This script finds all .t2t (txt2tags) files and deletes the corresponding html file +# This script finds all .t2t (txt2tags) and .md (markdown) files +# and deletes the corresponding html file find . -name '*.t2t' | while read t2t ; do html="${t2t%.t2t}.html" - rm -f "$html" + if [ -f "$html" ] ; then + echo "$html" + rm -f "$html" + fi +done + +find . -name '*.md' | while read md ; do + html="${md%.md}.html" + if [ -f "$html" ] ; then + echo "$html" + rm -f "$html" + fi done diff --git a/bin/template.html b/bin/template.html index 2add09801..57ae32e04 100644 --- a/bin/template.html +++ b/bin/template.html @@ -37,7 +37,7 @@ $endfor$ $if(title)$ <header id="title-block-header"> <a href="$rel-root$" title="Home"> - <img src="$rel-root$/doc/Logos/gf1.svg" height="200px" class="float-md-right mb-3 bg-white" alt="GF Logo"> + <img src="$rel-root$/doc/Logos/gf1.svg" height="200px" class="float-md-right ml-3 mb-3 bg-white" alt="GF Logo"> </a> <h1 class="title">$title$</h1> $if(subtitle)$ |