[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

[Git][ocaml-team/advi][master] 2 commits: Use SOURCE_DATE_EPOCH to set the date in manual



Title: GitLab

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
    Use SOURCE_DATE_EPOCH to set the date in manual
    
  • a75e02f6
    by Stephane Glondu at 2024-08-25T06:37:04+02:00
    Update changelog and prepare upload to unstable
    

2 changed files:

Changes:

  • debian/changelog
    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
    

  • debian/patches/0008-Use-SOURCE_DATE_EPOCH-for-reproducibility.patch
    ... ... @@ -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
    


  • Reply to: