diff options
Diffstat (limited to 'office/texlive/patches/tex4ht.patch')
| -rw-r--r-- | office/texlive/patches/tex4ht.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/office/texlive/patches/tex4ht.patch b/office/texlive/patches/tex4ht.patch deleted file mode 100644 index 7ee2ff4e35..0000000000 --- a/office/texlive/patches/tex4ht.patch +++ /dev/null @@ -1,13 +0,0 @@ ---- texk/tex4htk/tex4ht.c.orig 2016-10-24 01:47:40.620666159 +0200 -+++ texk/tex4htk/tex4ht.c 2016-10-24 01:50:29.023550246 +0200 -@@ -6809,8 +6809,8 @@ - || - ((ch != - 2 --) && (ch != --5 -+) && (ch > -+10 - - )) - ) bad_dvi; |