aboutsummaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
Diffstat (limited to 'dev')
-rwxr-xr-xdev/dist.sh8
1 files changed, 7 insertions, 1 deletions
diff --git a/dev/dist.sh b/dev/dist.sh
index feca38d..926a373 100755
--- a/dev/dist.sh
+++ b/dev/dist.sh
@@ -41,7 +41,7 @@ pdfmanual()
texi2pdf "manuals/ponysay.texinfo"
git add "manuals/ponysay.texinfo" "ponysay.pdf"
for ext in `echo aux cp cps fn ky log pg toc tp vr`; do
- if [ -f "ponysay.\$\$ext" ]; then
+ if [ -f "ponysay.$ext" ]; then
unlink "ponysay.$ext"
fi
done
@@ -51,6 +51,12 @@ pdfmanual()
}
+pdf()
+{
+ pdfmanual "$@"
+}
+
+
tag()
{
version=`./setup.py version`