From 1df775dab493cdc2c3fda75d28e87cf638423311 Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Mon, 16 Dec 2019 18:41:42 +0300 Subject: [PATCH] Up to date documentation timestamps and PUBKEY availability --- makedist.sh | 19 ++++--------------- 1 file changed, 4 insertions(+), 15 deletions(-) diff --git a/makedist.sh b/makedist.sh index 5e66e0a..d8ba2e8 100755 --- a/makedist.sh +++ b/makedist.sh @@ -108,23 +108,23 @@ You can obtain releases source code prepared tarballs on @url{http://www.nncpgo.org/}. EOF perl -i -ne 'print unless /include pedro/' doc/index.texi doc/about.ru.texi +perl -p -i -e 's/^(.verbatiminclude) .*$/$1 PUBKEY.asc/g' doc/integrity.texi +mv doc/.well-known/openpgpkey/hu/i4cdqgcarfjdjnba6y4jnf498asg8c6p.asc PUBKEY.asc +ln -s ../PUBKEY.asc doc make -C doc ######################################################################## # Supplementary files autogeneration ######################################################################## -texi=`mktemp` +texi=$(TMPDIR=doc mktemp) cat > $texi < $texi < $texi < $texi <