[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