[Pkg-ocaml-maint-commits] [SCM] coq-doc packaging branch, master, updated. debian/8.1-3-27-gabb5c8e

[Stephane Glondu]

The following commit has been merged in the master branch:
commit bf1c3a9bbe87366295570400cd92ee894f448c78
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jan 7 10:46:46 2010 +0100

    Remove patches

diff --git a/debian/control b/debian/control
index 427bb51..c7551b6 100644
--- a/debian/control
+++ b/debian/control
@@ -3,7 +3,7 @@ Section: non-free/doc
 Priority: optional
 Maintainer: Samuel Mimram <smimram at debian.org>
 Standards-Version: 3.7.2
-Build-Depends: debhelper (>= 4.0.0), dpatch
+Build-Depends: debhelper (>= 4.0.0)
 Build-Depends-Indep: texlive, texlive-base, texlive-latex-extra, texlive-math-extra, texlive-lang-french, texlive-humanities, hevea (>= 1.05), coq (>= 8.1)
 Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/coq-doc.git
 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/coq-doc.git
diff --git a/debian/patches/00list b/debian/patches/00list
deleted file mode 100644
index 001d9d6..0000000
--- a/debian/patches/00list
+++ /dev/null
@@ -1,2 +0,0 @@
-config_makefile
-faq-urldef
diff --git a/debian/patches/config_makefile.dpatch b/debian/patches/config_makefile.dpatch
deleted file mode 100755
index 877b735..0000000
--- a/debian/patches/config_makefile.dpatch
+++ /dev/null
@@ -1,19 +0,0 @@
-#! /bin/sh /usr/share/dpatch/dpatch-run
-## config_makefile.dpatch by Samuel Mimram <smimram at debian.org>
-##
-## All lines beginning with `## DP:' are a description of the patch.
-## DP: Use a custom configuration for the Makefile.
-
- at DPATCH@
-diff -urNad coq-doc-8.0pl3+8.1alpha~/Makefile coq-doc-8.0pl3+8.1alpha/Makefile
---- coq-doc-8.0pl3+8.1alpha~/Makefile	2006-04-28 18:50:58.000000000 +0200
-+++ coq-doc-8.0pl3+8.1alpha/Makefile	2006-04-28 19:10:54.000000000 +0200
-@@ -7,7 +7,7 @@
- # Pdf: pdflatex
- # Html: hevea (http://hevea.inria.fr) >= 1.05
- 
--include ../config/Makefile
-+include debian/Makefile.config
- 
- 
- LATEX=latex
diff --git a/debian/patches/faq-urldef.dpatch b/debian/patches/faq-urldef.dpatch
deleted file mode 100755
index 7b21394..0000000
--- a/debian/patches/faq-urldef.dpatch
+++ /dev/null
@@ -1,41 +0,0 @@
-#! /bin/sh /usr/share/dpatch/dpatch-run
-## faq-urldef.dpatch by Samuel Mimram <smimram at debian.org>
-##
-## All lines beginning with `## DP:' are a description of the patch.
-## DP: Workaround hevea bug #405994.
-
- at DPATCH@
-diff -urNad coq-doc-8.1~gamma~/faq/FAQ.tex coq-doc-8.1~gamma/faq/FAQ.tex
---- coq-doc-8.1~gamma~/faq/FAQ.tex	2007-01-07 18:54:09.000000000 +0000
-+++ coq-doc-8.1~gamma/faq/FAQ.tex	2007-01-07 19:53:45.000000000 +0000
-@@ -105,22 +105,14 @@
- 
- 
- \newcommand\vfile[2]{\ahref{#1}{\tt {#2}.v}}
--\urldef{\InitWf}{\url}
--  {http://coq.inria.fr/library/Coq.Init.Wf.html}
--\urldef{\LogicBerardi}{\url}
--  {http://coq.inria.fr/library/Coq.Logic.Berardi.html}
--\urldef{\LogicClassical}{\url}
--  {http://coq.inria.fr/library/Coq.Logic.Classical.html}
--\urldef{\LogicClassicalFacts}{\url}
--  {http://coq.inria.fr/library/Coq.Logic.ClassicalFacts.html}
--\urldef{\LogicClassicalDescription}{\url}
--  {http://coq.inria.fr/library/Coq.Logic.ClassicalDescription.html}
--\urldef{\LogicProofIrrelevance}{\url}
--  {http://coq.inria.fr/library/Coq.Logic.ProofIrrelevance.html}
--\urldef{\LogicEqdep}{\url}
--  {http://coq.inria.fr/library/Coq.Logic.Eqdep.html}
--\urldef{\LogicEqdepDec}{\url}
--  {http://coq.inria.fr/library/Coq.Logic.Eqdep_dec.html}
-+\urldef{\InitWf}{\url}{http://coq.inria.fr/library/Coq.Init.Wf.html}
-+\urldef{\LogicBerardi}{\url}{http://coq.inria.fr/library/Coq.Logic.Berardi.html}
-+\urldef{\LogicClassical}{\url}{http://coq.inria.fr/library/Coq.Logic.Classical.html}
-+\urldef{\LogicClassicalFacts}{\url}{http://coq.inria.fr/library/Coq.Logic.ClassicalFacts.html}
-+\urldef{\LogicClassicalDescription}{\url}{http://coq.inria.fr/library/Coq.Logic.ClassicalDescription.html}
-+\urldef{\LogicProofIrrelevance}{\url}{http://coq.inria.fr/library/Coq.Logic.ProofIrrelevance.html}
-+\urldef{\LogicEqdep}{\url}{http://coq.inria.fr/library/Coq.Logic.Eqdep.html}
-+\urldef{\LogicEqdepDec}{\url}{http://coq.inria.fr/library/Coq.Logic.Eqdep_dec.html}
- 
- 
- 

-- 
coq-doc packaging