From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 12 Apr 2001 09:23:15 +0000 (+0000)
Subject: panel ==> uwobo-panel
X-Git-Tag: v0_1_2~19
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b350ad8f231a18c445685a0d271d9d5ccbabb410;p=helm.git

panel ==> uwobo-panel
---

diff --git a/helm/uwobo-panel/Makefile b/helm/uwobo-panel/Makefile
index cb5610d15..cb4fdd95a 100644
--- a/helm/uwobo-panel/Makefile
+++ b/helm/uwobo-panel/Makefile
@@ -8,5 +8,4 @@ cleanbak:
 	rm -rf *~
 
 dist: clean cleanbak
-	cd ..; tar cvfz uwobo-panel.tar.gz panel ; mv uwobo-panel.tar.gz panel
-
+	cd ..; tar cvfz uwobo-panel.tar.gz uwobo-panel ; mv uwobo-panel.tar.gz uwobo-panel