[Pkg-octave-commit] [octave-interval] 01/03: doc/manual.texinfo: Undo patch from revision a0ea7db63771709a2f23fc026ed2b4e1db5db37e

[Oliver Heimlich]

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

oheim-guest pushed a commit to branch master
in repository octave-interval.

commit 23ab53af8b143504dfb5b13ede9833fc8546c886
Author: Oliver Heimlich <oheim at posteo.de>
Date:   Mon Dec 21 23:52:14 2015 +0100

    doc/manual.texinfo: Undo patch from revision a0ea7db63771709a2f23fc026ed2b4e1db5db37e
---
 debian/patches/series                 |  1 -
 debian/patches/texinfo-bug46083.patch | 27 ---------------------------
 doc/manual.texinfo                    |  3 ---
 3 files changed, 31 deletions(-)

diff --git a/debian/patches/series b/debian/patches/series
deleted file mode 100644
index 1fb7ecf..0000000
--- a/debian/patches/series
+++ /dev/null
@@ -1 +0,0 @@
-texinfo-bug46083.patch
diff --git a/debian/patches/texinfo-bug46083.patch b/debian/patches/texinfo-bug46083.patch
deleted file mode 100644
index bf44f7b..0000000
--- a/debian/patches/texinfo-bug46083.patch
+++ /dev/null
@@ -1,27 +0,0 @@
-Description: Compatibility with latest TexInfo version
-
-DeclareUnicodeCharacter commands are mandatory in legacy TexInfo versions, but break compilation with recent TexInfo versions.  This patch fixes the build for the latter.
-
-Bug: https://savannah.gnu.org/bugs/index.php?46083
-Forwarded: no
-Author: Oliver Heimlich <oheim at posteo.de>
-Last-Update: 2015-10-02
---- a/doc/manual.texinfo
-+++ b/doc/manual.texinfo
-@@ -3,6 +3,8 @@
- @settitle GNU Octave Interval Package Manual
- @documentencoding UTF-8
- @tex
-+ at ifcommandnotdefined U
-+% The following definitions are mandatory in TexInfo < 6 only
- \DeclareUnicodeCharacter{00A0}{\ }
- \DeclareUnicodeCharacter{00A7}{\S}
- \DeclareUnicodeCharacter{00B2}{${}^2$}
-@@ -10,6 +12,7 @@
- \DeclareUnicodeCharacter{00BD}{1/2}
- \DeclareUnicodeCharacter{00D7}{$\times$}
- \DeclareUnicodeCharacter{00F7}{$\div$}
-+ at end ifcommandnotdefined
- \DeclareUnicodeCharacter{03C0}{$\pi$}
- \DeclareUnicodeCharacter{202F}{\thinspace}
- \DeclareUnicodeCharacter{2200}{$\forall$}
diff --git a/doc/manual.texinfo b/doc/manual.texinfo
index 8158069..9a2e018 100644
--- a/doc/manual.texinfo
+++ b/doc/manual.texinfo
@@ -3,8 +3,6 @@
 @settitle GNU Octave Interval Package Manual
 @documentencoding UTF-8
 @tex
- at ifcommandnotdefined U
-% The following definitions are mandatory in TexInfo < 6 only
 \DeclareUnicodeCharacter{00A0}{\ }
 \DeclareUnicodeCharacter{00A7}{\S}
 \DeclareUnicodeCharacter{00B2}{${}^2$}
@@ -12,7 +10,6 @@
 \DeclareUnicodeCharacter{00BD}{1/2}
 \DeclareUnicodeCharacter{00D7}{$\times$}
 \DeclareUnicodeCharacter{00F7}{$\div$}
- at end ifcommandnotdefined
 \DeclareUnicodeCharacter{03C0}{$\pi$}
 \DeclareUnicodeCharacter{202F}{\thinspace}
 \DeclareUnicodeCharacter{2200}{$\forall$}

-- 
Alioth's /home/groups/pkg-octave/bin/git-commit-notice on /srv/git.debian.org/git/pkg-octave/octave-interval.git