summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJohn J. Camilleri <john@digitalgrammars.com>2018-10-31 15:47:12 +0100
committerJohn J. Camilleri <john@digitalgrammars.com>2018-10-31 15:47:12 +0100
commit7867c8c8287c4430d6fd5c8aed2e581ca4a9186d (patch)
treeaabea5a4f4a1429cc84d419f7863ed286b280876 /Makefile
parent632cd1e522f9f8b626b3acc661799cc81d29c728 (diff)
pre and post HTML templates for all txt2tags conversions
Remaining: cleaning of t2t files (remove unnecessary options)
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index e5a1f2fb3..80ecff061 100644
--- a/Makefile
+++ b/Makefile
@@ -20,6 +20,7 @@ doc:
clean:
cabal clean
+ bash bin/clean_html
gf:
cabal build rgl-none