diff options
Diffstat (limited to 'dev')
| -rwxr-xr-x | dev/dist.sh | 2 |
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 |