]> matita.cs.unibo.it Git - helm.git/commit
use autotools also for ocaml part (again?)
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 11 Mar 2003 11:33:56 +0000 (11:33 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 11 Mar 2003 11:33:56 +0000 (11:33 +0000)
commit9a42c48a1d274bda76b2d8684e013be43099ef85
treef3c3293fac7ab145bb4dea7852814c95c28c692d
parent2779c4191d0c14aa7bec9a861974a6a1f815ca03
use autotools also for ocaml part (again?)
helm/DEVEL/gdome_xslt/Makefile.am
helm/DEVEL/gdome_xslt/configure.ac
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am
helm/DEVEL/gdome_xslt/ocaml/test/Makefile.am