From d610f6166fbc3c5769f86ae97224dbc7d081b932 Mon Sep 17 00:00:00 2001
From: Mattias Andrée <maandree@operamail.com>
Date: Mon, 17 Sep 2012 20:10:48 +0200
Subject: m + using multiple index, not just concept index

---
 dev/dist.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/dist.sh b/dev/dist.sh
index 8486777..fb54ae7 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 bak`; do
 	if [ -f "ponysay.$ext" ]; then
 	    unlink "ponysay.$ext"
 	fi
-- 
cgit