[m-rev.] diff: fix a bug in tools/import_srcdist

[Julien Fischer]

Fix a bug in tools/import_srcdist.

tools/import_srcdist:
     Add files with the -f (--force) option; otherwise files that
     match patterns in .gitignore will be ignored.

Julien.

diff --git a/tools/import_srcdist b/tools/import_srcdist
index f4ab020..51e861b 100755
--- a/tools/import_srcdist
+++ b/tools/import_srcdist
@@ -50,6 +50,6 @@ initialcommit=9101f6d96bc9d0e2ec0f84048d85b00c4826a595
  git checkout --detach "$initialcommit"
  git clean -fdxq .
  tar xf "$archive" --strip-components=1
-git add .
+git add -f .
  git commit -q -m "Imported $basename"
  git tag -a -m "Tag $version" "$tag"