]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/gdome_xslt/configure.ac
* created a separate namespace for DOM extensions
[helm.git] / helm / DEVEL / gdome_xslt / configure.ac
index c711e9f825bdea10f3d654ebd24c01c8f88bd86e..cc6b8f6e4bd313da7c0b72fc5e57ac1f46c0f9d8 100644 (file)
@@ -193,11 +193,12 @@ AC_CONFIG_FILES([
   C++/gdome_xslt/Makefile
   C++/test/Makefile
   C++/Makefile
-  ocaml/Makefile
-  ocaml/gdome_xslt/Makefile
-  ocaml/gdome_xslt/META
-  ocaml/test/Makefile
-  gdome_xslt_cpp_smart-config
+ 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