]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2a79430) | patch
* change how the ocamldoc API reference is generated: no longer use upstream
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 9 Sep 2007 10:36:04 +0000 (10:36 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 9 Sep 2007 10:36:04 +0000 (10:36 +0000)
commite0b782733c8e7cd5499dc738c434f8f67e84d282
tree72dd2bc693c1be349a5bf45026325a98ea058e8etree | snapshot
parent2a79430fa706179258b3a9c5e68e3e268063aa65commit | diff
* change how the ocamldoc API reference is generated: no longer use upstream
  Makefile, but rather rely on CDBS
* debian/control
  - remove build-dep on texlive stuff and graphviz since now we only ship
    HTML version of the API reference
* debian/docs, debian/doc-base
  - file removed, the latter will be now automatically generated, the former
    would only contain README and CDBS is smart enough to guess it
DEVEL/ocaml-http/debian/changelog diff | blob | history
DEVEL/ocaml-http/debian/control diff | blob | history
DEVEL/ocaml-http/debian/doc-base [deleted file] blob | history
DEVEL/ocaml-http/debian/docs [deleted file] blob | history
DEVEL/ocaml-http/debian/rules diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.