From 4c5873716caf83f06d745f2b419e7e8dc059983f Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Thu, 14 Nov 2019 16:20:41 +0300 Subject: [PATCH] Do not include Pedro in documentation --- makedist.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/makedist.sh b/makedist.sh index 70b7515..8fa60dc 100755 --- a/makedist.sh +++ b/makedist.sh @@ -107,6 +107,7 @@ cat > doc/download.texi <