summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/pdftex/manual/pdftex-t.tex
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2016-05-04 23:55:52 +0000
committerKarl Berry <karl@freefriends.org>2016-05-04 23:55:52 +0000
commit80a07d50f873f38be00f9e3e236185610517816e (patch)
tree513e1e72d8275e6ad6d517b39e781e49204fb533 /Master/texmf-dist/doc/pdftex/manual/pdftex-t.tex
parent22354514a115b31526930a730240caf34c2935e8 (diff)
missed \ in doc
git-svn-id: svn://tug.org/texlive/trunk@40891 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/pdftex/manual/pdftex-t.tex')
-rw-r--r--Master/texmf-dist/doc/pdftex/manual/pdftex-t.tex6
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