From 96000dabb02f59e9ef0c2be2639060f392f6ee95 Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Mon, 21 Aug 2017 12:18:48 +0300 Subject: [PATCH] Not all .git are directories --- makedist.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makedist.sh b/makedist.sh index afaecd1..369ef7c 100755 --- a/makedist.sh +++ b/makedist.sh @@ -75,7 +75,7 @@ make -C doc ./supplementary_files.sh rm -r doc/.well-known doc/nncp.html/.well-known supplementary_files.sh -find . -name .git -type d | xargs rm -fr +find . -name .git | xargs rm -fr find . -name .gitignore -delete rm .gitmodules -- 2.44.0