diff options
Diffstat (limited to 'Master/source')
-rw-r--r-- | Master/source/texlive.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Master/source/texlive.patch b/Master/source/texlive.patch new file mode 100644 index 00000000000..5d1dab95b40 --- /dev/null +++ b/Master/source/texlive.patch @@ -0,0 +1,11 @@ +--- printing.c (revision 49614) ++++ printing.c (working copy) +@@ -416,7 +416,7 @@ + { + char *buffer = NULL; + int i = 0; +- int newlinechar = new_line_char_par; ++ int newlinechar = (lua_only == 1) ? 10 : new_line_char_par; + int dolog = 0; + int doterm = 0; + switch (selector) {
\ No newline at end of file |