aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore18
-rwxr-xr-xdev/dist.sh2
2 files changed, 19 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 048da35..0f3a1fc 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 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