diff options
Diffstat (limited to 'Build/source/texk/seetexk/dvitodvi.c')
-rw-r--r-- | Build/source/texk/seetexk/dvitodvi.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Build/source/texk/seetexk/dvitodvi.c b/Build/source/texk/seetexk/dvitodvi.c index 9729f370163..b7377fe4e68 100644 --- a/Build/source/texk/seetexk/dvitodvi.c +++ b/Build/source/texk/seetexk/dvitodvi.c @@ -94,6 +94,8 @@ long CurrentPosition; /* The current position of the file */ int UseThisPage; /* true => current page is selected */ +int WritingPage; /* true while writing a page */ + i32 InputPageNumber; /* current absolute page in old DVI file */ int NumberOfOutputPages; /* number of pages in new DVI file */ @@ -422,6 +424,7 @@ BeginPage(int really) } message(1, msg, mlen); } + WritingPage = 1; } /* @@ -440,6 +443,7 @@ EndPage(int really) error(1, -1, writeerr); CurrentPosition++; NumberOfOutputPages++; + WritingPage = 0; } /* @@ -699,6 +703,8 @@ Usage: %s [-q] [-i infile] [-o outfile] [-w width] [-h height] <pagespecs> [infi PageSpecs = ParseSpecs(specstring, 1); HandleDVIFile(); + if (WritingPage) + EndPage(1); HandlePostAmble(); if (!SFlag) (void) fprintf(stderr, "\nWrote %d page%s, %ld bytes\n", |