X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fgdome_xslt%2Focaml%2Fgdome_xslt%2FMakefile.am;h=6fa7a7f96edf34297d28faf6422e5370fbee68de;hb=78cf601fd8b8dbb386b0db315dcbfdbe8256c15f;hp=21e3954b84be0f8dd30ee88d5d902fe4d1d18472;hpb=6e8a70cf51cb8af67f30ef47f1b49fdcec72c6cd;p=helm.git

diff --git a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am
index 21e3954b8..6fa7a7f96 100644
--- a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am
+++ b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am
@@ -37,7 +37,7 @@ noinst_LTLIBRARIES = libmlgdome2-xslt.la
 C_SRC = ml_gdome_xslt.c x_gdome_xslt.c 
 libmlgdome2_xslt_la_SOURCES = $(C_SRC)
 
-O_S = $(C_SRC:%.c=%.o)
+O_S = $(C_SRC:%.c=.libs/%.o)
 LO_S = $(O_S:%.o=%.lo)
 CMA_DEPS = i_gdome_xslt.cmo gdome_xslt.cmo
 CMXA_DEPS = $(CMA_DEPS:%.cmo=%.cmx)