[Pkg-ocaml-maint-commits] [SCM] advi packaging branch, experimental, updated. debian/1.8-1-37-gb52324d

Ralf Treinen treinen at free.fr
Mon Mar 15 21:37:48 UTC 2010


The following commit has been merged in the experimental branch:
commit 1581774d6ace131c0c33f51ad08564286b54d7ba
Author: Ralf Treinen <treinen at free.fr>
Date:   Mon Mar 15 21:08:55 2010 +0100

    do not call htmlc when buildin the doc

diff --git a/debian/changelog b/debian/changelog
index f77adc3..6b4b550 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -3,8 +3,9 @@ advi (1.9-1) experimental; urgency=low
   * New upstream version.
   * Upstream distributes again the examples/ subtree, install it instead
     of our old copy in debian/examples-source
+  * patch doc-without-htmlc: do not call htmlc for building the doc
 
- -- Ralf Treinen <treinen at debian.org>  Mon, 15 Mar 2010 21:02:57 +0100
+ -- Ralf Treinen <treinen at debian.org>  Mon, 15 Mar 2010 21:07:10 +0100
 
 advi (1.8-3) experimental; urgency=low
 
diff --git a/debian/patches/doc-without-htmlc b/debian/patches/doc-without-htmlc
new file mode 100644
index 0000000..6050acf
--- /dev/null
+++ b/debian/patches/doc-without-htmlc
@@ -0,0 +1,27 @@
+Author: Ralf Treinen <treinen at debian.org>
+Description: Do not call htmlc (which currently is not in debian) for
+  building the documentation.
+
+Index: advi-old/doc/Makefile.am
+===================================================================
+--- advi-old.orig/doc/Makefile.am	2010-03-15 21:06:12.000000000 +0100
++++ advi-old/doc/Makefile.am	2010-03-15 21:06:40.000000000 +0100
+@@ -170,18 +170,3 @@
+ 
+ $(HTMLFILES): ../configure
+ 
+-.htm.html: 
+-if HAVE_HTMLC
+-	$(HTMLC) $(HTMLC_FLAGS) -f $(srcdir)/$< -t $@
+-else
+-	@echo "htmlc required, unable to proceed"
+-	@exit 1
+-endif
+-
+-.man.1: $(top_srcdir)/config.status
+-if HAVE_HTMLC
+-	$(HTMLC) $(HTMLC_FLAGS) -f $(srcdir)/$< -t $@
+-else
+-	@echo "htmlc required, unable to proceed"
+-	@exit 1
+-endif
diff --git a/debian/patches/series b/debian/patches/series
index 4253ce6..0c710ec 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -5,3 +5,4 @@ manpage
 no-local-advirc
 use-ghostscript
 use-data-dir
+doc-without-htmlc

-- 
advi packaging



More information about the Pkg-ocaml-maint-commits mailing list