X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fgdome_xslt%2Focaml%2FMakefile.am;h=30e2ce8703120415e5eca8cdd6ac621e4f694673;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=4769b64604471ae1d7b0cbb025beba5f09f0bf16;hpb=5193609d5a2b6531b881891b180031f3b2896a45;p=helm.git diff --git a/helm/DEVEL/gdome_xslt/ocaml/Makefile.am b/helm/DEVEL/gdome_xslt/ocaml/Makefile.am index 4769b6460..30e2ce870 100644 --- a/helm/DEVEL/gdome_xslt/ocaml/Makefile.am +++ b/helm/DEVEL/gdome_xslt/ocaml/Makefile.am @@ -1,2 +1 @@ - SUBDIRS = gdome_xslt test