Honor SOURCE_DATE_EPOCH variable to avoid non-determinism in generated
"autoloads" files.

--- a/lisp/emacs-lisp/autoload.el
+++ b/lisp/emacs-lisp/autoload.el
@@ -419,8 +419,12 @@
   ;;              nil t))
   ;;        (match-end 2))))
   (insert generate-autoload-section-header)
-  (prin1 `(autoloads ,autoloads ,load-name ,file ,time)
-	 outbuf)
+  (let* ((env  (getenv "SOURCE_DATE_EPOCH"))
+         (time (if env
+                   (seconds-to-time (string-to-number env))
+                 time)))
+    (prin1 `(autoloads ,autoloads ,load-name ,file ,time)
+           outbuf))
   (terpri outbuf)
   ;; Break that line at spaces, to avoid very long lines.
   ;; Make each sub-line into a comment.
lect name='h' onchange='this.form.submit();'>
<option value='koszko' selected='selected'>koszko</option>
<option value='koszko-scripts'>koszko-scripts</option>
</select> <input type='submit' value='switch'/></form></td></tr>
<tr><td class='sub'>Wojtek's customized Guix</td><td class='sub right'></td></tr></table>
<table class='tabs'><tr><td>
<a href='/guix/about/'>about</a><a href='/guix/'>summary</a><a href='/guix/refs/?id=df33198cc2966103ded46eb328d1e8360bbe051d'>refs</a><a class='active' href='/guix/log/etc/substitutes/ci.guix.gnu.org.pub'>log</a><a href='/guix/tree/etc/substitutes/ci.guix.gnu.org.pub?id=df33198cc2966103ded46eb328d1e8360bbe051d'>tree</a><a href='/guix/commit/etc/substitutes/ci.guix.gnu.org.pub?id=df33198cc2966103ded46eb328d1e8360bbe051d'>commit</a><a href='/guix/diff/etc/substitutes/ci.guix.gnu.org.pub?id=df33198cc2966103ded46eb328d1e8360bbe051d'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/etc/substitutes/ci.guix.gnu.org.pub'>
<input type='hidden' name='id' value='df33198cc2966103ded46eb328d1e8360bbe051d'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=df33198cc2966103ded46eb328d1e8360bbe051d'>root</a>/<a href='/guix/log/etc?id=df33198cc2966103ded46eb328d1e8360bbe051d'>etc</a>/<a href='/guix/log/etc/substitutes?id=df33198cc2966103ded46eb328d1e8360bbe051d'>substitutes</a>/<a href='/guix/log/etc/substitutes/ci.guix.gnu.org.pub?id=df33198cc2966103ded46eb328d1e8360bbe051d'>ci.guix.gnu.org.pub</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/etc/substitutes/ci.guix.gnu.org.pub?id=df33198cc2966103ded46eb328d1e8360bbe051d&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2020-07-10 00:11:00 +0200'>2020-07-10</span></td><td><a href='/guix/commit/etc/substitutes/ci.guix.gnu.org.pub?id=d283bb960f927dd5f7bb8b96bc697221e4e8ad39'>maint: Remove traces of "berlin.guixsd.org".</a><span class='msg-avail'>...<span class='msg-tooltip'>The guixsd.org domain is no longer advertised since before in 1.0.0
release in May 2019.

* etc/substitutes/berlin.guixsd.org.pub: Rename to...
* etc/substitutes/berlin.guix.gnu.org.pub: ... this.
* etc/substitutes/ci.guix.gnu.org.pub,
etc/substitutes/ci.guix.info.pub: Adjust accordingly.
* gnu/services/base.scm (%default-authorized-guix-keys): Likewise.
* guix/build/download-nar.scm (urls-for-item): Likewise.
* guix/self.scm (miscellaneous-files): Likewise.
* Makefile.am (dist_pkgdata_DATA): Likewise.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2019-05-01 11:05:47 +0200'>2019-05-01</span></td><td><a href='/guix/commit/etc/substitutes/ci.guix.gnu.org.pub?id=757e633d57a7b994759d69e41dd759a39f1a34ae'>build: Change default substitute server to "ci.guix.gnu.org".</a><span class='msg-avail'>...<span class='msg-tooltip'>* config-daemon.ac: Replace "ci.guix.info" with "ci.guix.gnu.org".
* doc/guix.texi (SUBSTITUTE-SERVER): Likewise.
* etc/substitutes/ci.guix.gnu.org.pub: New file.
* Makefile.am (dist_pkgdata_DATA): Add it.
* guix/scripts/build.scm (%default-log-urls): Update.
* guix/scripts/substitute.scm (%default-substitute-urls): Likewise.
* guix/store.scm (%default-substitute-urls): Likewise.
* guix/self.scm (miscellaneous-files): Add "ci.guix.gnu.org".
</span></span></td><td>Ludovic Courtès</td></tr>