components/library: dotdothack removed

[helm.git] / helm / software / matita / legacy / Makefile

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