summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2016-06-12 17:01:19 +0000
committerKarl Berry <karl@freefriends.org>2016-06-12 17:01:19 +0000
commit54cf03cb1282a86ff0001946e1d47622bb4f9587 (patch)
treed6e1241a74d83682112ba2b3d1b64cf6d8d09d25
parentca3d4c708452843d997cc904092338795f79aa28 (diff)
rename SOURCE_DATE_EPOCH_TEX_PRIMITIVES to FORCE_SOURCE_DATE; from pdftex r758
git-svn-id: svn://tug.org/texlive/trunk@41417 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r--Build/source/texk/web2c/lib/ChangeLog9
-rw-r--r--Build/source/texk/web2c/lib/texmfmp.c4
-rw-r--r--Build/source/texk/web2c/man/pdftex.man2
-rw-r--r--Build/source/texk/web2c/pdftexdir/NEWS4
4 files changed, 15 insertions, 4 deletions
diff --git a/Build/source/texk/web2c/lib/ChangeLog b/Build/source/texk/web2c/lib/ChangeLog
index 5994ef7ac80..37931ded8fb 100644
--- a/Build/source/texk/web2c/lib/ChangeLog
+++ b/Build/source/texk/web2c/lib/ChangeLog
@@ -1,6 +1,13 @@
+2016-06-12 Karl Berry <karl@freefriends.org>
+
+ * texmfmp.c (get_date_and_time):
+ rename envvar SOURCE_DATE_EPOCH_TEX_PRIMITIVES to FORCE_SOURCE_DATE.
+ http://tug.org/pipermail/tex-k/2016-June/002722.html
+ (and surrounding thread, starting in May)
+
2016-05-06 Akira Kakuto <kakuto@fuk.kinidai.ac.jp>
- * texmfmp.c: Avoid to crash for too large a value of SOURCE_DATE_EPOCH.
+ * texmfmp.c: Avoid crash for too large a value of SOURCE_DATE_EPOCH.
(w32 only).
2016-05-06 Karl Berry <karl@tug.org>
diff --git a/Build/source/texk/web2c/lib/texmfmp.c b/Build/source/texk/web2c/lib/texmfmp.c
index cd7953a9301..ceb7094de61 100644
--- a/Build/source/texk/web2c/lib/texmfmp.c
+++ b/Build/source/texk/web2c/lib/texmfmp.c
@@ -2247,7 +2247,7 @@ get_date_and_time (integer *minutes, integer *day,
{
struct tm *tmptr;
#ifndef onlyTeX
- string sde_texprim = getenv ("SOURCE_DATE_EPOCH_TEX_PRIMITIVES");
+ string sde_texprim = getenv ("FORCE_SOURCE_DATE");
if (sde_texprim && STREQ (sde_texprim, "1")) {
init_start_time ();
tmptr = gmtime (&start_time);
@@ -2263,7 +2263,7 @@ get_date_and_time (integer *minutes, integer *day,
/* warn if they gave an invalid value, empty (null string) ok. */
if (sde_texprim && strlen (sde_texprim) > 0
&& !STREQ (sde_texprim, "0")) {
-WARNING1 ("invalid value (expected 0 or 1) for environment variable $SOURCE_DATE_EPOCH_TEX_PRIMITIVES: %s",
+WARNING1 ("invalid value (expected 0 or 1) for environment variable $FORCE_SOURCE_DATE: %s",
sde_texprim);
}
#endif /* not onlyTeX */
diff --git a/Build/source/texk/web2c/man/pdftex.man b/Build/source/texk/web2c/man/pdftex.man
index d1b8ef5e2d6..4e1ae088a91 100644
--- a/Build/source/texk/web2c/man/pdftex.man
+++ b/Build/source/texk/web2c/man/pdftex.man
@@ -379,7 +379,7 @@ If set, its value, taken to be in epoch-seconds, will be used for the
timestamps in the PDF output, such as the CreationDate and ModDate keys.
This is useful for making reproducible builds.
.TP
-.B SOURCE_DATE_EPOCH_TEX_PRIMITIVES
+.B FORCE_SOURCE_DATE
If set to the value "1", the time-related \*(TX primitives
.RI ( \eyear ,
.IR \emonth ,
diff --git a/Build/source/texk/web2c/pdftexdir/NEWS b/Build/source/texk/web2c/pdftexdir/NEWS
index bd682a8b045..5e035092352 100644
--- a/Build/source/texk/web2c/pdftexdir/NEWS
+++ b/Build/source/texk/web2c/pdftexdir/NEWS
@@ -1,3 +1,7 @@
+- changes:
+ - rename envvar SOURCE_DATE_EPOCH_TEX_PRIMITIVES to FORCE_SOURCE_DATE;
+ no changes in functionality.
+---------------------------------------------------
pdfTeX 3.14159265-2.6-1.40.17 (TeX Live 2016)
- changes:
- if the environment variable SOURCE_DATE_EPOCH is set, use its value for