summaryrefslogtreecommitdiff
path: root/tools/gendocs.sh
diff options
context:
space:
mode:
Diffstat (limited to 'tools/gendocs.sh')
-rwxr-xr-xtools/gendocs.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/gendocs.sh b/tools/gendocs.sh
index 55933b13..9126a406 100755
--- a/tools/gendocs.sh
+++ b/tools/gendocs.sh
@@ -2,4 +2,4 @@
echo "===================================== Making Info..."
makeinfo ledger3.texi
echo "===================================== Making PDF..."
-texi2pdf ledger3.texi
+texi2pdf --quiet --batch ledger3.texi