]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5f18d40) | 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)
commite42a9a3eabac1d284a37a8f5e22d6e73b0dc887f
tree783810898c4b1c578a5b574974c5f4db56492a60tree | snapshot
parent5f18d404d23d75d47b018631cc05221ccd2d2b1bcommit | 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
helm/software/DEVEL/ocaml-http/debian/changelog diff | blob | history
helm/software/DEVEL/ocaml-http/debian/control diff | blob | history
helm/software/DEVEL/ocaml-http/debian/doc-base [deleted file] blob | history
helm/software/DEVEL/ocaml-http/debian/docs [deleted file] blob | history
helm/software/DEVEL/ocaml-http/debian/rules diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.