From: Enrico Tassi <gares@fettunta.org>
Date: Thu, 4 Apr 2013 09:57:21 +0000 (+0200)
Subject: rename compiler to acc-trusted
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=55b32160b19555999f415599edec2a2450180caf;p=pkg-cerco%2Facc-trusted.git

rename compiler to acc-trusted
---

diff --git a/debian/rules b/debian/rules
index 63a06ed..ed15de9 100755
--- a/debian/rules
+++ b/debian/rules
@@ -8,7 +8,7 @@ override_dh_auto_build:
 	
 override_dh_auto_install:
 	mkdir -p debian/tmp/usr/bin
-	cp acc debian/tmp/usr/bin/
+	cp acc debian/tmp/usr/bin/acc-trusted
 
 override_dh_auto_clean:
 	find . -name '*.cmo' -exec rm {} \;