]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/matita/legacy/Makefile
...
[helm.git] / helm / software / matita / legacy / Makefile
index a8d99c3dd818f1f0702992ed4b4756716b424453..9dd21dd3b1b06e9d060edbb4f5d22903e0b8121e 100644 (file)
@@ -1,5 +1,5 @@
 DIR=$(shell basename $$PWD)
-MATITAOPTIONS=$(MATITAUSEROPTIONS) -onepass
+MATITAOPTIONS=-onepass
 
 $(DIR) all:
        ../matitac $(MATITAOPTIONS)