]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/utf8_macros/Makefile
removed the need of REQUIRES in libraries Makefile, they are now queried from the...
[helm.git] / helm / ocaml / utf8_macros / Makefile
index 31a1939ce436eecaf8faede3917e7fd121bd24ca..190f6cf6d815d4493a688e1d29963483368ad472 100644 (file)
@@ -1,5 +1,4 @@
 PACKAGE = utf8_macros
-REQUIRES = 
 PREDICATES =
 MAKE_TABLE_PACKAGES = helm-xml