]> matita.cs.unibo.it Git - helm.git/commitdiff
* 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)
  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
helm/software/DEVEL/ocaml-http/debian/control
helm/software/DEVEL/ocaml-http/debian/doc-base [deleted file]
helm/software/DEVEL/ocaml-http/debian/docs [deleted file]
helm/software/DEVEL/ocaml-http/debian/rules

index 51fe74815c4c8234e56e74a0386e38cd1537e2b4..ee9ddb1be9cead1b0b3bd6a75466f7275cc70afb 100644 (file)
@@ -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 <zack@debian.org>  Mon, 16 Jul 2007 14:29:34 +0000
+ -- Stefano Zacchiroli <zack@debian.org>  Sun, 09 Sep 2007 12:34:07 +0200
 
 ocaml-http (0.1.4-1) experimental; urgency=low
 
index d7a752710fc652e78c97b85a2cd58f84e2bf5386..78524675a09f36ca99a2825e10f6938797c54bc1 100644 (file)
@@ -2,7 +2,7 @@ Source: ocaml-http
 Section: devel
 Priority: optional
 Maintainer: Stefano Zacchiroli <zack@debian.org>
-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 (file)
index 75c087e..0000000
+++ /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 (file)
index 2e09849..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-README
-doc/*
index f342cfe2623f92f25a7ce2feb7a15740c09c4d96..b86c61d2827671db9e0f7f00fb7a8bfbb376b638 100755 (executable)
@@ -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)