From cdcdb11017342da2bf1f1cb360a8ef597f89b4dd Mon Sep 17 00:00:00 2001
From: Glenn Morris <rgm@gnu.org>
Date: Fri, 1 Feb 2019 17:36:32 -0800
Subject: [PATCH] * make-dist: Fix --no-update with no pre-existing MANIFEST.

---
 make-dist | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/make-dist b/make-dist
index 62e47b4d145..a56b7341feb 100755
--- a/make-dist
+++ b/make-dist
@@ -389,7 +389,7 @@ fi
 # 'git ls-files' later (e.g., after extraction from a tarball).
 # Otherwise, rely on the existing MANIFEST, which should be maintained some
 # other way when adding or deleting a distributed file while not using Git.
-if [ $update = yes ] && [ -r .git ]; then
+if ( [ $update = yes ] || [ ! -f MANIFEST ] ) && [ -r .git ]; then
   echo "Updating MANIFEST"
   if [ $with_tests = yes ]; then
     git ls-files >MANIFEST
-- 
2.39.5