[Pkg-ocaml-maint-commits] [dose3] 06/08: remove patch make-doc-target-work as upstream fixed this

Johannes Schauer josch at moszumanska.debian.org
Tue Sep 1 06:57:49 UTC 2015


This is an automated email from the git hooks/post-receive script.

josch pushed a commit to branch master
in repository dose3.

commit aac6e89fa4d10c04b7124bd2d0cbb81c4671a145
Author: Johannes Schauer <josch at debian.org>
Date:   Tue Sep 1 07:46:59 2015 +0200

    remove patch make-doc-target-work as upstream fixed this
---
 debian/changelog                    |  1 +
 debian/patches/make-doc-target-work | 22 ----------------------
 debian/patches/series               |  1 -
 3 files changed, 1 insertion(+), 23 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 0add781..5eb3921 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -7,6 +7,7 @@ dose3 (4.0.1-1) UNRELEASED; urgency=medium
   [ Johannes Schauer ]
   * upstream dropped doc/webpages directory so remove debian/missing-sources
     and the corresponding sections from debian/copyright
+  * remove patch make-doc-target-work as upstream fixed this
 
  -- Ralf Treinen <treinen at debian.org>  Mon, 31 Aug 2015 10:50:32 +0200
 
diff --git a/debian/patches/make-doc-target-work b/debian/patches/make-doc-target-work
deleted file mode 100644
index cfe778d..0000000
--- a/debian/patches/make-doc-target-work
+++ /dev/null
@@ -1,22 +0,0 @@
-Description: make doc target work
- Upstream did not update dose3.odocl.in when it did several changes in module
- locations. This makes `make doc` break. The temporary fix is to disable the
- modules that are no in different places.
-Author: Johannes Schauer <josch at debian.org>
-
---- dose3-4.0.orig/dose3.odocl.in
-+++ dose3-4.0/dose3.odocl.in
-@@ -7,13 +7,11 @@ algo/Diagnostic
- algo/Depsolver_int
- algo/Diagnostic_int
- algo/Flatten
--deb/Version
- deb/Debcudf
- deb/Packages
- deb/Sources
- deb/Release
- deb/Apt
--deb/Format822
- deb/Evolution
- deb/Edsp
- deb/Debutil
diff --git a/debian/patches/series b/debian/patches/series
index c55a8e1..b7e42fd 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,4 +1,3 @@
 binaries-prefix-edos
 coinstall-binary-name
 # librpm-4.12
-make-doc-target-work

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/dose3.git



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