diff options
-rwxr-xr-x | m4/extra_dist.sh | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/m4/extra_dist.sh b/m4/extra_dist.sh deleted file mode 100755 index a1eb629..0000000 --- a/m4/extra_dist.sh +++ /dev/null @@ -1,11 +0,0 @@ -#! /bin/sh - -echo "EXTRA_DIST = \\" > Makefile.am - -for NAME in *.m4; do - echo " $NAME \\" >> Makefile.am -done - -echo " extra_dist.sh" >> Makefile.am - - |