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`