diff options
| -rw-r--r-- | Build/source/utils/autosp/TLpatches/patch-01-binary-write | 30 | ||||
| -rw-r--r-- | Build/source/utils/autosp/autosp-src/spacing_note.c | 6 |
2 files changed, 33 insertions, 3 deletions
diff --git a/Build/source/utils/autosp/TLpatches/patch-01-binary-write b/Build/source/utils/autosp/TLpatches/patch-01-binary-write index a2e5790dd84..9a5e5d7f308 100644 --- a/Build/source/utils/autosp/TLpatches/patch-01-binary-write +++ b/Build/source/utils/autosp/TLpatches/patch-01-binary-write @@ -31,6 +31,36 @@ diff -ur autosp-2019-01-08/rebar.c autosp-src/rebar.c if (outfile == NULL) { fprintf (stderr,"Can't open %s\n", outfilename); exit (EXIT_FAILURE); +diff -ur autosp-2019-01-08/spacing_note.c autosp-src/spacing_note.c +--- autosp-2019-01-08/spacing_note.c Wed May 16 22:35:31 2018 ++++ autosp-src/spacing_note.c Thu Jan 10 08:29:36 2019 +@@ -30,7 +30,7 @@ + update_global_skip (n); + /* commas will be discarded by filter_output (i) */ + if (*s == '.' && new_beaming == 0 && !dottedbeamnotes) +- spacing = spacing * 1.50; ++ spacing = (int)(spacing * 1.50); + else if ( (*s == '^' || *s == '_' || *s == '=' || *s == '>') + && !vspacing_active[i] /* is additional spacing needed? */ + ) +@@ -532,7 +532,7 @@ + || prefix ("\\qbpp", s) + || prefix ("\\dspp", s) + || doubledotted ) +- { spacing *= 1.75; doubledotted = false;} ++ { spacing = (int)(spacing * 1.75); doubledotted = false;} + else + if (prefix ("\\whp", s) + || prefix ("\\hup", s) +@@ -556,7 +556,7 @@ + || prefix ("\\qbp", s) + || prefix ("\\dsp", s) + || dotted ) +- { spacing *= 1.5; dotted = false; } ++ { spacing = (int)(spacing * 1.5); dotted = false; } + + t = strpbrk (s+1, "{\\&|$"); /* collective coding? */ + if (*t == '{') /* {...} */ diff -ur autosp-2019-01-08/tex2aspc.c autosp-src/tex2aspc.c --- autosp-2019-01-08/tex2aspc.c Tue Jan 08 22:28:57 2019 +++ autosp-src/tex2aspc.c Thu Jan 10 07:39:45 2019 diff --git a/Build/source/utils/autosp/autosp-src/spacing_note.c b/Build/source/utils/autosp/autosp-src/spacing_note.c index eaa377538fd..631ff1ba5ba 100644 --- a/Build/source/utils/autosp/autosp-src/spacing_note.c +++ b/Build/source/utils/autosp/autosp-src/spacing_note.c @@ -30,7 +30,7 @@ int collective_note (int i) update_global_skip (n); /* commas will be discarded by filter_output (i) */ if (*s == '.' && new_beaming == 0 && !dottedbeamnotes) - spacing = spacing * 1.50; + spacing = (int)(spacing * 1.50); else if ( (*s == '^' || *s == '_' || *s == '=' || *s == '>') && !vspacing_active[i] /* is additional spacing needed? */ ) @@ -532,7 +532,7 @@ int spacing_note (int i) || prefix ("\\qbpp", s) || prefix ("\\dspp", s) || doubledotted ) - { spacing *= 1.75; doubledotted = false;} + { spacing = (int)(spacing * 1.75); doubledotted = false;} else if (prefix ("\\whp", s) || prefix ("\\hup", s) @@ -556,7 +556,7 @@ int spacing_note (int i) || prefix ("\\qbp", s) || prefix ("\\dsp", s) || dotted ) - { spacing *= 1.5; dotted = false; } + { spacing = (int)(spacing * 1.5); dotted = false; } t = strpbrk (s+1, "{\\&|$"); /* collective coding? */ if (*t == '{') /* {...} */ |