From 7d86103f231e8dea3c1c0ef1a23d26a4e0fae7b5 Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Wed, 13 Nov 2019 09:37:20 +0300 Subject: [PATCH] Include supplementary_files.sh in makedist.sh --- makedist.sh | 73 ++++++++++++++++++++++++++++++++++++++---- supplementary_files.sh | 60 ---------------------------------- 2 files changed, 67 insertions(+), 66 deletions(-) delete mode 100755 supplementary_files.sh diff --git a/makedist.sh b/makedist.sh index 3086385..ac305c8 100755 --- a/makedist.sh +++ b/makedist.sh @@ -88,12 +88,73 @@ You can obtain releases source code prepared tarballs on @url{http://www.nncpgo.org/}. EOF make -C doc -./supplementary_files.sh -rm -r \ - doc/.gitignore \ - doc/.well-known \ - doc/nncp.html/.well-known \ - supplementary_files.sh + +######################################################################## +# Supplementary files autogeneration +######################################################################## +texi=`mktemp` + +cat > $texi < $texi < $texi < $texi < $texi < $texi < $texi < $texi <