]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql/Makefile
* added test .html file for mozilla plugin
[helm.git] / helm / ocaml / mathql / Makefile
index c381b8dc863ba854cd99ebb1d6c389d2e8d03aa4..6d54819480425b4f55e8628041cb421f539733c9 100644 (file)
@@ -1,11 +1,11 @@
 PACKAGE = mathql
-REQUIRES = helm-urimanager
+REQUIRES =  helm-urimanager
 PREDICATES =
 
 INTERFACE_FILES = mQueryTParser.mli mQueryUtil.mli
 
 IMPLEMENTATION_FILES = mathQL.ml mQueryTParser.ml mQueryTLexer.ml \
-                      mQueryUtil.ml
+                      mQueryUtil.ml 
 
 EXTRA_OBJECTS_TO_INSTALL = mathQL.ml mathQL.cmi mQueryTLexer.cmi \
                           mQueryTLexer.mll mQueryTParser.mly