[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