maint: update release.pl

pmodels · Oct 7, 2020 · 049e65e · 049e65e
1 parent a9937e2
commit 049e65e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/maint/release.pl b/maint/release.pl
@@ -206,6 +206,7 @@ sub run_cmd
 run_cmd("rm -rf README.md");
 run_cmd("find . -name autom4te.cache | xargs rm -rf");
 run_cmd("find . -name .gitignore | xargs rm -rf");
+run_cmd("find . -name .github | xargs rm -rf");
 run_cmd("find . -name .tmp | xargs rm -rf");
 print("done\n");