diff options
Diffstat (limited to 'Master/texmf-dist/doc/pdftex/manual/pdftex-t.tex')
-rw-r--r-- | Master/texmf-dist/doc/pdftex/manual/pdftex-t.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Master/texmf-dist/doc/pdftex/manual/pdftex-t.tex b/Master/texmf-dist/doc/pdftex/manual/pdftex-t.tex index fd2054a33f5..36d7de81c28 100644 --- a/Master/texmf-dist/doc/pdftex/manual/pdftex-t.tex +++ b/Master/texmf-dist/doc/pdftex/manual/pdftex-t.tex @@ -1,7 +1,7 @@ % interface=english modes=letter,screen output=pdftex % vim: tw=79 -% $Id: pdftex-t.tex 751 2016-05-04 22:57:38Z karl $ +% $Id: pdftex-t.tex 752 2016-05-04 23:55:19Z karl $ % The number of lines on the title page depends on exactly % what \PDF\ code is generated. @@ -38,7 +38,7 @@ August\or September\or October\or November\or December\else ERROR\fi} } -\svnscan $Id: pdftex-t.tex 751 2016-05-04 22:57:38Z karl $ +\svnscan $Id: pdftex-t.tex 752 2016-05-04 23:55:19Z karl $ \def\currentpdftex{1.40.17} @@ -1328,7 +1328,7 @@ The second \PDFTEX-specific environment variable is \type{SOURCE_DATE_EPOCH_TEX_PRIMITIVES}. If this is set to~\type{1}, \TEX's time-related primitives are also initialized from the value of \type{SOURCE_DATE_EPOCH}. These primitives are \type{\year}, -\type{\month}, \type{day}, and \type{\time}. If +\type{\month}, \type{\day}, and \type{\time}. If \type{SOURCE_DATE_EPOCH} is not set, setting \type{SOURCE_DATE_EPOCH_TEX_PRIMITIVES} has no effect. If \type{SOURCE_DATE_EPOCH_TEX_PRIMITIVES} is unset, set to the empty |