diff options
| -rwxr-xr-x | doc/gendocs.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/gendocs.sh b/doc/gendocs.sh index 20438edd..55933b13 100755 --- a/doc/gendocs.sh +++ b/doc/gendocs.sh @@ -1,5 +1,5 @@ #!/bin/bash -echo "Making Info..." +echo "===================================== Making Info..." makeinfo ledger3.texi -echo "Making PDF..." +echo "===================================== Making PDF..." texi2pdf ledger3.texi |