Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / advi
Commits:
-
8a22828c
by Stephane Glondu at 2024-08-25T06:36:26+02:00
-
a75e02f6
by Stephane Glondu at 2024-08-25T06:37:04+02:00
2 changed files:
Changes:
1 | +advi (2.0.0-3) unstable; urgency=medium
|
|
2 | + |
|
3 | + * Use SOURCE_DATE_EPOCH to set the date in manual
|
|
4 | + |
|
5 | + -- Stéphane Glondu <glondu@debian.org> Sun, 25 Aug 2024 06:37:01 +0200
|
|
6 | + |
|
1 | 7 | advi (2.0.0-2) unstable; urgency=medium
|
2 | 8 | |
3 | 9 | * Use SOURCE_DATE_EPOCH for reproducibility
|
... | ... | @@ -4,11 +4,25 @@ Subject: Use SOURCE_DATE_EPOCH for reproducibility |
4 | 4 | |
5 | 5 | Bug-Debian: https://bugs.debian.org/834137
|
6 | 6 | ---
|
7 | + Makefile | 1 +
|
|
7 | 8 | configure.ac | 5 +++--
|
8 | 9 | configure.me | 5 +++--
|
10 | + doc/advi.tex | 1 +
|
|
9 | 11 | src/discover.sh | 3 ++-
|
10 | - 3 files changed, 8 insertions(+), 5 deletions(-)
|
|
12 | + 5 files changed, 10 insertions(+), 5 deletions(-)
|
|
11 | 13 | |
14 | +diff --git a/Makefile b/Makefile
|
|
15 | +index d8a534e..7e003a0 100644
|
|
16 | +--- a/Makefile
|
|
17 | ++++ b/Makefile
|
|
18 | +@@ -40,6 +40,7 @@ all: default test examples
|
|
19 | + CONFIG = _build/src/Makefile.config
|
|
20 | +
|
|
21 | + $(CONFIG): src/Makefile.config
|
|
22 | ++ date -d@$${SOURCE_DATE_EPOCH:=$$(date +%s)} -u +%F > doc/date.tex
|
|
23 | +
|
|
24 | + .PHONY: doc doc.manual
|
|
25 | + doc: $(CONFIG)
|
|
12 | 26 | diff --git a/configure.ac b/configure.ac
|
13 | 27 | index edd38d9..92bbbde 100644
|
14 | 28 | --- a/configure.ac
|
... | ... | @@ -41,6 +55,18 @@ index 2b056b0..88e54f8 100755 |
41 | 55 |
|
42 | 56 |
|
43 | 57 | am__api_version='1.11'
|
58 | +diff --git a/doc/advi.tex b/doc/advi.tex
|
|
59 | +index 6cc4c29..710c2ed 100644
|
|
60 | +--- a/doc/advi.tex
|
|
61 | ++++ b/doc/advi.tex
|
|
62 | +@@ -72,6 +72,7 @@ Reference manual\\
|
|
63 | + }
|
|
64 | + \fi
|
|
65 | + \author {Didier R{\'{e}}my and Pierre Weis}
|
|
66 | ++\date {\input{date}}
|
|
67 | +
|
|
68 | + \thispagestyle{empty}
|
|
69 | +
|
|
44 | 70 | diff --git a/src/discover.sh b/src/discover.sh
|
45 | 71 | index 19b87ff..6676dc6 100644
|
46 | 72 | --- a/src/discover.sh
|