summaryrefslogtreecommitdiff
path: root/tools/gendocs.sh
diff options
context:
space:
mode:
authorAlexis Hildebrandt <afh@surryhill.net>2014-04-27 10:01:01 +0200
committerAlexis Hildebrandt <afh@surryhill.net>2014-04-27 10:01:01 +0200
commitd8bbe78756d02f7964095dcc5bebbf158f9c4acf (patch)
treeafd45f4ef5befa426b7b6639e9ecfa131d43afe0 /tools/gendocs.sh
parent10359fd7014e5d33fdc6ee7cba6d98b10054cecc (diff)
downloadfork-ledger-d8bbe78756d02f7964095dcc5bebbf158f9c4acf.tar.gz
fork-ledger-d8bbe78756d02f7964095dcc5bebbf158f9c4acf.tar.bz2
fork-ledger-d8bbe78756d02f7964095dcc5bebbf158f9c4acf.zip
gendocs: make html documentation
[ci skip]
Diffstat (limited to 'tools/gendocs.sh')
-rwxr-xr-xtools/gendocs.sh2
1 files changed, 2 insertions, 0 deletions
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