From: Stefano Zacchiroli Date: Sun, 9 Sep 2007 10:36:04 +0000 (+0000) Subject: * change how the ocamldoc API reference is generated: no longer use upstream X-Git-Tag: make_still_working~6035 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e42a9a3eabac1d284a37a8f5e22d6e73b0dc887f;p=helm.git * 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 --- diff --git a/helm/software/DEVEL/ocaml-http/debian/changelog b/helm/software/DEVEL/ocaml-http/debian/changelog index 51fe74815..ee9ddb1be 100644 --- a/helm/software/DEVEL/ocaml-http/debian/changelog +++ b/helm/software/DEVEL/ocaml-http/debian/changelog @@ -1,8 +1,15 @@ -ocaml-http (0.1.4-2) UNRELEASED; urgency=low +ocaml-http (0.1.4-2) unstable; urgency=low - * NOT RELEASED YET + * 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 - -- Stefano Zacchiroli Mon, 16 Jul 2007 14:29:34 +0000 + -- Stefano Zacchiroli Sun, 09 Sep 2007 12:34:07 +0200 ocaml-http (0.1.4-1) experimental; urgency=low diff --git a/helm/software/DEVEL/ocaml-http/debian/control b/helm/software/DEVEL/ocaml-http/debian/control index d7a752710..78524675a 100644 --- a/helm/software/DEVEL/ocaml-http/debian/control +++ b/helm/software/DEVEL/ocaml-http/debian/control @@ -2,7 +2,7 @@ Source: ocaml-http Section: devel Priority: optional Maintainer: Stefano Zacchiroli -Build-Depends: debhelper (>> 5.0.0), cdbs, ocaml-nox (>= 3.10.0), camlp4 (>= 3.10.0), ocaml-findlib (>= 1.1), libpcre-ocaml-dev (>= 5.11.1), libocamlnet-ocaml-dev (>= 2.2), graphviz, texlive-latex-recommended, texlive-latex-extra, texlive-base-bin +Build-Depends: debhelper (>> 5.0.0), cdbs, ocaml-nox (>= 3.10.0), camlp4 (>= 3.10.0), ocaml-findlib (>= 1.1), libpcre-ocaml-dev (>= 5.11.1), libocamlnet-ocaml-dev (>= 2.2) Standards-Version: 3.7.2 Package: libhttp-ocaml-dev diff --git a/helm/software/DEVEL/ocaml-http/debian/doc-base b/helm/software/DEVEL/ocaml-http/debian/doc-base deleted file mode 100644 index 75c087e26..000000000 --- a/helm/software/DEVEL/ocaml-http/debian/doc-base +++ /dev/null @@ -1,12 +0,0 @@ -Document: ocaml-http -Title: OCaml HTTP API reference manual -Author: Stefano Zacchiroli -Abstract: API reference manual for OCaml HTTP, an Objective Caml library for writing HTTP servers -Section: Apps/Programming - -Format: HTML -Index: /usr/share/doc/libhttp-ocaml-dev/html/index.html -Files: /usr/share/doc/libhttp-ocaml-dev/html/* - -Format: PostScript -Files: /usr/share/doc/libhttp-ocaml-dev/latex/ocaml-http.ps.gz diff --git a/helm/software/DEVEL/ocaml-http/debian/docs b/helm/software/DEVEL/ocaml-http/debian/docs deleted file mode 100644 index 2e098492d..000000000 --- a/helm/software/DEVEL/ocaml-http/debian/docs +++ /dev/null @@ -1,2 +0,0 @@ -README -doc/* diff --git a/helm/software/DEVEL/ocaml-http/debian/rules b/helm/software/DEVEL/ocaml-http/debian/rules index f342cfe26..b86c61d28 100755 --- a/helm/software/DEVEL/ocaml-http/debian/rules +++ b/helm/software/DEVEL/ocaml-http/debian/rules @@ -4,12 +4,9 @@ include /usr/share/cdbs/1/class/makefile.mk include /usr/share/cdbs/1/class/ocaml.mk PKGNAME = libhttp-ocaml-dev - +OCAML_OCAMLDOC_PACKAGES = $(OCAML_LIBDEV_PACKAGES) DEB_MAKE_BUILD_TARGET = all ifeq ($(OCAML_HAVE_OCAMLOPT),yes) DEB_MAKE_BUILD_TARGET += opt endif -build/$(PKGNAME):: - $(MAKE) doc - DEB_MAKE_INSTALL_TARGET = install DESTDIR=$(CURDIR)/debian/$(PKGNAME)$(OCAML_STDLIB_DIR)