diff options
Diffstat (limited to 'Build/source/texk/mendexk/pageread.c')
-rw-r--r-- | Build/source/texk/mendexk/pageread.c | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/Build/source/texk/mendexk/pageread.c b/Build/source/texk/mendexk/pageread.c index 8b16e892d7a..1d6f574395b 100644 --- a/Build/source/texk/mendexk/pageread.c +++ b/Build/source/texk/mendexk/pageread.c @@ -5,6 +5,21 @@ #include <kpathsea/tex-file.h> #include "mendex.h" +static inline int +bfgetc (FILE *stream) +{ + int cc = getc (stream); + if (cc == '\r') { + cc = getc (stream); + if (cc != '\n') { + ungetc (cc, stream); + cc = '\r'; + } + } + return cc; +} +#define fgetc bfgetc + /* checking last page */ int lastpage(const char *filename) { |