summaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorThomas Hallgren <th-github@altocumulus.org>2018-12-03 15:53:36 +0100
committerThomas Hallgren <th-github@altocumulus.org>2018-12-03 15:53:36 +0100
commitde005b9df307cde68955b065e3cedc359c3201f0 (patch)
tree3a7f296ea646b75ae7f0e7f61e17af5c47414b75 /bin
parent52bc0f566ee37e8837e823b31b953ae239aacb59 (diff)
parentb509d08cbfeb7d8c68256073ab12bd18cb1c552c (diff)
Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core
Diffstat (limited to 'bin')
-rwxr-xr-xbin/clean_html16
-rw-r--r--bin/template.html2
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)$