From d136ed94557f421e41d31e9066598a4ea8f3b3f1 Mon Sep 17 00:00:00 2001
From: Mattias Andrée <maandree@operamail.com>
Date: Sun, 26 Aug 2012 19:23:04 +0200
Subject: m

---
 dev/dist.sh | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'dev/dist.sh')

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`
-- 
cgit