diff --git a/bin/.gitignore b/bin/.gitignore index d6cb968bb3cd9178c64d322c26f010436c47e003..bd319a10903c7572ba41f493309f2304cb8dae76 100644 --- a/bin/.gitignore +++ b/bin/.gitignore @@ -3,7 +3,6 @@ Makefile.in .deps semantic.cache check-log-store -wmlwrap *.swp *.resume diff --git a/bin/Makefile.am b/bin/Makefile.am index 59bba81fa2db90fbe435133188ed43976023f624..a01170f61c175aa804cdb99460723c2f7405b5c2 100644 --- a/bin/Makefile.am +++ b/bin/Makefile.am @@ -1,7 +1,7 @@ # $Id$ # put scripts into dist-tarball -EXTRA_DIST = duneproject wmlwrap dunecontrol \ +EXTRA_DIST = duneproject dunecontrol \ dunemodules.inc mpi-config dune-autogen \ xfail-compile-tests