]> matita.cs.unibo.it Git - helm.git/commit - helm/software/DEVEL/gdome_xslt/debian/rules
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cacd7c1) | patch
* debian/rules: instead of passing explicit -I flags to ocamldoc, do them
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 28 Dec 2007 14:46:26 +0000 (14:46 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 28 Dec 2007 14:46:26 +0000 (14:46 +0000)
commitcc0e6decc9fdb0e70b5ae04089ac57cba3ed17bb
treeed844c7d48dbcf8382a4f5e09225c50c67c4e31ftree | snapshot
parentcacd7c1f36aca92759df70e5dc1eb5a4d990a9d1commit | diff
* debian/rules: instead of passing explicit -I flags to ocamldoc, do them
  via ocamlfind and OCAML_OCAMLDOC_OCAMLFIND_FLAGS
helm/software/DEVEL/gdome_xslt/debian/changelog diff | blob | history
helm/software/DEVEL/gdome_xslt/debian/rules diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.