From d8bbe78756d02f7964095dcc5bebbf158f9c4acf Mon Sep 17 00:00:00 2001 From: Alexis Hildebrandt Date: Sun, 27 Apr 2014 10:01:01 +0200 Subject: gendocs: make html documentation [ci skip] --- tools/gendocs.sh | 2 ++ 1 file changed, 2 insertions(+) (limited to 'tools/gendocs.sh') diff --git a/tools/gendocs.sh b/tools/gendocs.sh index 3d082024..48b6a943 100755 --- a/tools/gendocs.sh +++ b/tools/gendocs.sh @@ -15,5 +15,7 @@ esac echo "===================================== Making Info..." makeinfo ledger3.texi +echo "===================================== Making HTML..." +makeinfo --html --no-split ledger3.texi echo "===================================== Making PDF..." texi2pdf --quiet --batch ${papersize} ledger3.texi -- cgit v1.2.3