diff --git a/.gitignore b/.gitignore index 048da359..0f3a1fc8 100644 --- a/.gitignore +++ b/.gitignore @@ -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 fb54ae7c..870f3e20 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