]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/gdome_xslt/configure.ac
use autotools also for ocaml part (again?)
[helm.git] / helm / DEVEL / gdome_xslt / configure.ac
index aafc4d193eec05884b517f69ce0ede5e91739b07..651875dd8de883001a16f03515d99e809bf5bd92 100644 (file)
@@ -193,12 +193,11 @@ AC_CONFIG_FILES([
   C++/gdome_xslt/Makefile
   C++/test/Makefile
   C++/Makefile
- gdome_xslt_cpp_smart-config
+  ocaml/Makefile
+  ocaml/gdome_xslt/Makefile
+  ocaml/gdome_xslt/META
+  ocaml/test/Makefile
+  gdome_xslt_cpp_smart-config
   test_files/Makefile])
 AC_CONFIG_COMMANDS([default],[[chmod +x gdome_xslt_cpp_smart-config]],[[]])
 AC_OUTPUT
-#  ocaml/Makefile
-#  ocaml/gdome_xslt/Makefile
-#  ocaml/gdome_xslt/META
-#  ocaml/test/Makefile