add pre.html version of n1570

[c-standard] / pdf2html.sh

diff --git a/pdf2html.sh b/pdf2html.sh
index 14946b8..628258e 100755 (executable)
--- a/pdf2html.sh
+++ b/pdf2html.sh
@@ -10,3 +10,4 @@ pdftotext -layout $name.pdf
 mv $name.txt $name.txt.utf8
 ./translit.sh <$name.txt.utf8 >$name.txt
 ./tohtml.sh <$name.txt >$name.html
+./tohtml.pre.sh <$name.txt >$name.pre.html