diff options
| -rw-r--r-- | .gitignore | 18 | ||||
| -rwxr-xr-x | dev/dist.sh | 2 |
2 files changed, 19 insertions, 1 deletions
@@ -23,3 +23,21 @@ /Makefile /quotes/ + +## Texinfo manual stuff + +/ponysay.aux +/ponysay.cp +/ponysay.cps +/ponysay.fn +/ponysay.ky +/ponysay.log +/ponysay.pg +/ponysay.toc +/ponysay.tp +/ponysay.vr +/ponysay.op +/ponysay.ops +/ponysay.pgs +/ponysay.vrs + diff --git a/dev/dist.sh b/dev/dist.sh index fb54ae7..870f3e2 100755 --- a/dev/dist.sh +++ b/dev/dist.sh @@ -39,7 +39,7 @@ ttyponies() pdfmanual() { texi2pdf "manuals/ponysay.texinfo" - for ext in `echo aux cp cps fn ky log pg toc tp vr op ops bak`; do + for ext in `echo aux cp cps fn ky log pg toc tp vr op ops pgs vrs bak`; do if [ -f "ponysay.$ext" ]; then unlink "ponysay.$ext" fi |