diff makeWeb.sh @ 582:0206ab9fd6ba build-default-239

Switch from txt2tags to using pandoc with Markdown (Pandoc flavour) input.
author Jim Hague <jim.hague@acm.org>
date Sat, 29 Oct 2016 21:51:59 +0100
parents 760d0ae5acea
children daa3b76bd11f
line wrap: on
line diff
--- a/makeWeb.sh	Sat Oct 29 19:32:53 2016 +0100
+++ b/makeWeb.sh	Sat Oct 29 21:51:59 2016 +0100
@@ -86,8 +86,8 @@
 for item in intro
 do
     rm -f $webdir/$item.html
-    if [ -r $booke/$item.txt ]; then
-        txt2tags --no-headers --target=html --outfile=$webdir/$item.html $booke/$item.txt
+    if [ -r $booke/$item.md ]; then
+        pandoc --from=markdown --to=html --output=$webdir/$item.html $booke/$item.md
     else
         touch $webdir/$item.html
     fi