From 342d6a61c84703607270b102a6ae9884697286ab Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 8 Jun 2002 02:16:32 +0000
Subject: Add isartags

---
 etc/ProofGeneral.spec | 1 +
 1 file changed, 1 insertion(+)

diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index a706d77a..17d1d0e6 100644
--- a/etc/ProofGeneral.spec
+++ b/etc/ProofGeneral.spec
@@ -84,6 +84,7 @@ fi
 %attr(-,root,root) /usr/bin/proofgeneral
 %attr(-,root,root) /usr/bin/coqtags
 %attr(-,root,root) /usr/bin/legotags
+%attr(-,root,root) /usr/bin/isartags
 %attr(-,root,root) /usr/share/icons/pgicon.png
 %attr(-,root,root) /usr/share/icons/mini/pgmini.xpm
 %attr(-,root,root) /usr/lib/menu/ProofGeneral
-- 
cgit v1.2.3