* make-dist (manifest): Filter out msdos/autogen/* files.

diff --git a/make-dist b/make-dist
index eb040150d9d2daadf39fcea6cde38bb4072725c7..b069130ca61cc9618f2df9da19eee770db4f5d3f 100755 (executable)
--- a/make-dist
+++ b/make-dist
@@ -392,9 +392,11 @@ manifest=MANIFEST
 # other way when adding or deleting a distributed file while not using Git.
 # TODO: maybe this should ignore $update, and always update MANIFEST
 # if .git is present.
+# Filter out the files in msdos/autogen/, as they aren't useful in the
+# tarball, and get in the way during the build of the MSDOS port.
 if ( [ $update = yes ] || [ ! -f $manifest ] ) && [ -r .git ]; then
   echo "Updating $manifest"
-  git ls-files > $manifest || exit
+  git ls-files | sed -e '/^msdos\/autogen\//d' > $manifest || exit
   printf '%s\n' $possibly_non_vc_files $info_files >>$manifest || exit
   sort -u -o $manifest $manifest || exit
 fi