diff options
Diffstat (limited to 'office/texlive/patches/tex4ht.patch')
| -rw-r--r-- | office/texlive/patches/tex4ht.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/office/texlive/patches/tex4ht.patch b/office/texlive/patches/tex4ht.patch new file mode 100644 index 0000000000000..7ee2ff4e355aa --- /dev/null +++ b/office/texlive/patches/tex4ht.patch @@ -0,0 +1,13 @@ +--- 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; |