diff options
Diffstat (limited to 'Master/texmf-dist/source/platex/base/platex.dtx')
-rw-r--r-- | Master/texmf-dist/source/platex/base/platex.dtx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/source/platex/base/platex.dtx b/Master/texmf-dist/source/platex/base/platex.dtx index 7cd28af9a04..daa617e13a2 100644 --- a/Master/texmf-dist/source/platex/base/platex.dtx +++ b/Master/texmf-dist/source/platex/base/platex.dtx @@ -656,7 +656,7 @@ \def\Xpatch{0} \ifx\patchdate\Xpatch\else % number is assumed - \ifx\patchdate>0 + \ifnum\patchdate>0 \edef\@date{\@date\space Patch level\space\patchdate} \else \edef\@date{\@date\space Pre-Release\patchdate} |