X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flegacy%2FMakefile;h=9dd21dd3b1b06e9d060edbb4f5d22903e0b8121e;hb=a6501e81dc2cae2025841cefd502c220e01cd5d8;hp=a8d99c3dd818f1f0702992ed4b4756716b424453;hpb=20377cd037f6cc5eb9c6a5664354a8a0189d3f4f;p=helm.git

diff --git a/helm/software/matita/legacy/Makefile b/helm/software/matita/legacy/Makefile
index a8d99c3dd..9dd21dd3b 100644
--- a/helm/software/matita/legacy/Makefile
+++ b/helm/software/matita/legacy/Makefile
@@ -1,5 +1,5 @@
 DIR=$(shell basename $$PWD)
-MATITAOPTIONS=$(MATITAUSEROPTIONS) -onepass
+MATITAOPTIONS=-onepass
 
 $(DIR) all:
 	../matitac $(MATITAOPTIONS)