diff options
Diffstat (limited to 'debian/patches/tex-workaround.patch')
-rw-r--r-- | debian/patches/tex-workaround.patch | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/debian/patches/tex-workaround.patch b/debian/patches/tex-workaround.patch new file mode 100644 index 0000000..9bb4857 --- /dev/null +++ b/debian/patches/tex-workaround.patch @@ -0,0 +1,18 @@ +Description: Fix textinfo/tex FTBFS +Author: Matthias Klose <doko@ubuntu.com> +Date: Tue, 17 Dec 2013 13:54:38 +0100 +--- +--- a/doc/libconfig.texi 2012-09-29 04:20:48.000000000 +0000 ++++ b/doc/libconfig.texi 2013-12-17 12:52:14.886009579 +0000 +@@ -467,9 +467,9 @@ + + A group has the form: + +-@b{@{} ++@b{lbracechar} + @i{settings ...} +-@b{@}} ++@b{rbracechar} + + Groups can contain any number of settings, but each setting must have + a unique name within the group. |