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