aboutsummaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
Diffstat (limited to 'dev')
-rwxr-xr-xdev/dist.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/dist.sh b/dev/dist.sh
index 8486777..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 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