diff options
Diffstat (limited to 'Master')
| -rw-r--r-- | Master/texmf-dist/doc/pdftex/manual/ChangeLog | 4 | ||||
| -rw-r--r-- | Master/texmf-dist/doc/pdftex/manual/pdftex-a.pdf | bin | 817102 -> 817109 bytes | |||
| -rw-r--r-- | Master/texmf-dist/doc/pdftex/manual/pdftex-t.tex | 6 |
3 files changed, 7 insertions, 3 deletions
diff --git a/Master/texmf-dist/doc/pdftex/manual/ChangeLog b/Master/texmf-dist/doc/pdftex/manual/ChangeLog index 3e3cb1168fa..e156cf82ddf 100644 --- a/Master/texmf-dist/doc/pdftex/manual/ChangeLog +++ b/Master/texmf-dist/doc/pdftex/manual/ChangeLog @@ -1,3 +1,7 @@ +2016-05-05 Karl Berry <karl@tug.org> + + * pdftex-t.tex: missed \ + 2016-05-04 Karl Berry <karl@freefriends.org> * pdftex-t.tex (Invoking \PDFTEX): describe diff --git a/Master/texmf-dist/doc/pdftex/manual/pdftex-a.pdf b/Master/texmf-dist/doc/pdftex/manual/pdftex-a.pdf Binary files differindex d220e5ca648..0fe84bf98fd 100644 --- a/Master/texmf-dist/doc/pdftex/manual/pdftex-a.pdf +++ b/Master/texmf-dist/doc/pdftex/manual/pdftex-a.pdf 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 |