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
|