summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
Diffstat (limited to 'Master')
-rw-r--r--Master/texmf-dist/doc/pdftex/manual/ChangeLog4
-rw-r--r--Master/texmf-dist/doc/pdftex/manual/pdftex-a.pdfbin817102 -> 817109 bytes
-rw-r--r--Master/texmf-dist/doc/pdftex/manual/pdftex-t.tex6
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
index d220e5ca648..0fe84bf98fd 100644
--- a/Master/texmf-dist/doc/pdftex/manual/pdftex-a.pdf
+++ b/Master/texmf-dist/doc/pdftex/manual/pdftex-a.pdf
Binary files differ
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