diff options
| -rwxr-xr-x | tools/gendocs.sh | 2 |
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 |