[source-date-epoch-spec] 03/04: Formatting tweaks

Ximin Luo infinity0 at debian.org
Wed Oct 18 15:04:07 UTC 2017


This is an automated email from the git hooks/post-receive script.

infinity0 pushed a commit to branch pu/1.1
in repository source-date-epoch-spec.

commit 16063012d0e641eaa2192662646f4d6043b96dfd
Author: Ximin Luo <infinity0 at debian.org>
Date:   Wed Oct 18 16:45:39 2017 +0200

    Formatting tweaks
---
 source-date-epoch-spec.xml | 16 +++++++---------
 1 file changed, 7 insertions(+), 9 deletions(-)

diff --git a/source-date-epoch-spec.xml b/source-date-epoch-spec.xml
index 97313b5..4abdc96 100644
--- a/source-date-epoch-spec.xml
+++ b/source-date-epoch-spec.xml
@@ -149,19 +149,17 @@
 			<filename>debian/changelog</filename>.
 		</para>
 		<para>
-			Upstream build processes MUST use this variable for
-			embedded timestamps in place of the "current" date and
-			time.
+			Build processes MUST use this variable for embedded
+			timestamps in place of the "current" date and time.
 		</para>
 		<para>
-			Where build processes embed timestamps that
-			are not "current", but are nevertheless still
-			specific to one execution of the build
-			process, they MUST use a timestamp no later
-			than <envar>SOURCE_DATE_EPOCH</envar>.
+			Where build processes embed timestamps that are not
+			"current", but are nevertheless still specific to one
+			execution of the build process, they MUST use a
+			timestamp no later than the value of this variable.
 		</para>
 		<para>
-			Build systems MUST NOT unset this variable for child
+			Build processes MUST NOT unset this variable for child
 			processes if it is already present, or overwrite it with
 			a lower (less recent) value. They MAY overwrite it with
 			a higher (more recent) value.

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/reproducible/source-date-epoch-spec.git



More information about the Reproducible-commits mailing list