From 204dbfe18dc8d262f057315b8e55f0041d8e25fa Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Tue, 7 Jan 2020 20:26:49 +0300 Subject: [PATCH] Fix FAQ file generation --- makedist.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makedist.sh b/makedist.sh index ecf32d9..c0bda20 100755 --- a/makedist.sh +++ b/makedist.sh @@ -62,7 +62,7 @@ cat > $texi <