diff options
author | Vivien Kraus <vivien@planete-kraus.eu> | 2021-10-01 13:58:12 +0200 |
---|---|---|
committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-10-04 23:08:16 +0200 |
commit | 4f0dc42f14879c613d9ed4a53ae342ea35fee798 (patch) | |
tree | 8fab27ffec730f7926283e890edbf9e65f1bffc0 | |
parent | d1345056d1e7febb430a954813a6088976e47ac5 (diff) |
manual: make sure the release date is the published modification time
-rw-r--r-- | configure.ac | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index e4bc52b..de1c2a8 100644 --- a/configure.ac +++ b/configure.ac @@ -50,4 +50,5 @@ GLIB_GSETTINGS AC_CONFIG_FILES([Makefile po/Makefile.in man/Makefile eu.planete_kraus.Disfluid.gschema.xml]) AC_CONFIG_FILES([man/reset-env], [chmod +x man/reset-env]) AC_CONFIG_FILES([pre-inst-env], [chmod +x pre-inst-env]) +touch -m -t $(date -d "$RELEASE_DATE" '+%Y%m%d%H%M.%S') "$srcdir/doc/disfluid.texi" AC_OUTPUT |