summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xm4/extra_dist.sh11
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
-
-