diff options
| author | Thomas Hallgren <th-github@altocumulus.org> | 2018-12-03 15:53:36 +0100 |
|---|---|---|
| committer | Thomas Hallgren <th-github@altocumulus.org> | 2018-12-03 15:53:36 +0100 |
| commit | de005b9df307cde68955b065e3cedc359c3201f0 (patch) | |
| tree | 3a7f296ea646b75ae7f0e7f61e17af5c47414b75 /bin | |
| parent | 52bc0f566ee37e8837e823b31b953ae239aacb59 (diff) | |
| parent | b509d08cbfeb7d8c68256073ab12bd18cb1c552c (diff) | |
Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core
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)$ |
