[xml/sgml-commit] [linuxdoc-tools] 03/04: debian/patches/9000_doc_build-pdf-noddvi+ps.patch: Remove no longer needed patch.

[Agustín Martín Domingo]

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

agmartin pushed a commit to branch master
in repository linuxdoc-tools.

commit e758875fe1ba8f1f9c0cfde63b169470baec2b95
Author: Agustin Martin Domingo <agmartin at debian.org>
Date:   Mon Oct 19 13:07:12 2015 +0200

    debian/patches/9000_doc_build-pdf-noddvi+ps.patch: Remove no longer needed patch.
    
    Signed-off-by: Agustin Martin Domingo <agmartin at debian.org>
---
 debian/changelog                                  |  1 +
 debian/patches/9000_doc_build-pdf-noddvi+ps.patch | 31 -----------------------
 debian/patches/series                             |  2 +-
 3 files changed, 2 insertions(+), 32 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 503c248..2f50b5a 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,6 +4,7 @@ linuxdoc-tools (0.9.70-1) unstable; urgency=medium
     - Do not build docs in install target (Closes: #800537).
     - More versatile handling of doc formats for linuxdoc-tools guide.
     - Do not preserve gzip timestamps when creating guide.ps.gz.
+  * Remove no longer needed 9000_doc_build-pdf-noddvi+ps.patch.
 
  -- Agustin Martin Domingo <agmartin at debian.org>  Mon, 19 Oct 2015 13:02:29 +0200
 
diff --git a/debian/patches/9000_doc_build-pdf-noddvi+ps.patch b/debian/patches/9000_doc_build-pdf-noddvi+ps.patch
deleted file mode 100644
index 75e8b09..0000000
--- a/debian/patches/9000_doc_build-pdf-noddvi+ps.patch
+++ /dev/null
@@ -1,31 +0,0 @@
-Description: Build only doc/guide.pdf instead pd doc/guide.{dvi,ps}
-Author: Agustin Martin Domingo <agmartin at bebian.org>
-Forwarded: Yes to me, pending
-Last-Update: 2015-06-30
-
-
---- a/doc/Makedoc.sh
-+++ b/doc/Makedoc.sh
-@@ -46,20 +46,8 @@
- 	$TMPDIR/sgml2txt -b 1 ./guide
- fi
- 
--if [ -n "`which latex`" ]; then
--	ln -s $TMPDIR/linuxdoc $TMPDIR/sgml2latex
--	echo "- Building latex docs" >&2
--	$TMPDIR/sgml2latex --pass="\usepackage{times}" -o dvi ./guide
--fi
--
--if [ -n "`which dvips`" ]; then
--	echo "   + dvips" >&2
--	dvips -t letter -o ./guide.ps ./guide.dvi
--	if [ -n "`which gzip`" -a -f ./guide.ps ]; then
--		gzip -fN ./guide.ps
--	fi
--fi
--
-+echo "- Building pdf docs" >&2
-+$TMPDIR/linuxdoc --backend=latex --output=pdf --pass="\usepackage{times}" ./guide.sgml
- 
- echo "- Building info docs" >&2
- $TMPDIR/linuxdoc -B info ./guide.sgml
diff --git a/debian/patches/series b/debian/patches/series
index ef4a819..8b13789 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1 @@
-9000_doc_build-pdf-noddvi+ps.patch
+

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-xml-sgml/linuxdoc-tools.git