1 files changed, 1 insertions, 1 deletions
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

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