diff options
| author | Hans Hagen <pragma@wxs.nl> | 2012-07-06 22:37:00 +0200 |
|---|---|---|
| committer | Hans Hagen <pragma@wxs.nl> | 2012-07-06 22:37:00 +0200 |
| commit | 710ea131940dd09be18d7d59b42e376a12212da7 (patch) | |
| tree | 74e8072b8dad16779028f41e226cf589e11a7927 /tex/context/base/file-job.mkvi | |
| parent | f977ff080f48ca7cbf248b5bb02748f766f0ed2b (diff) | |
| download | context-710ea131940dd09be18d7d59b42e376a12212da7.tar.gz | |
beta 2012.07.06 22:37
Diffstat (limited to 'tex/context/base/file-job.mkvi')
| -rw-r--r-- | tex/context/base/file-job.mkvi | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/tex/context/base/file-job.mkvi b/tex/context/base/file-job.mkvi index 3bde3f268..b488ee4eb 100644 --- a/tex/context/base/file-job.mkvi +++ b/tex/context/base/file-job.mkvi @@ -85,7 +85,8 @@ % document structure -\ifdefined\textlevel\else \newcount\textlevel \fi % might go away +\ifdefined\textlevel \else \newcount\textlevel \fi % might go away +\ifdefined\strc_pagenumbers_flush_final_page \else \let\strc_pagenumbers_flush_final_page\relax \fi % ugly \unexpanded\def\dostarttext {\glet\dostarttext\relax @@ -94,8 +95,8 @@ \unexpanded\def\dostoptext {\glet\dostoptext\relax - \flushfinallayoutpage % optional - \page % anyway + \strc_pagenumbers_flush_final_page + \page % hm, bonus \the\everystoptext \global\everystoptext\emptytoks \the\everybye |