From: Stefano Zacchiroli Date: Mon, 9 Dec 2002 11:14:26 +0000 (+0000) Subject: filled SUBDIR var X-Git-Tag: v0_3_99~155 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=2ad149484870d67a58222ec5efd73c4e30e00028 filled SUBDIR var --- 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