aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ChangeLog4
-rwxr-xr-xbuild-setup.sh11
2 files changed, 4 insertions, 11 deletions
diff --git a/ChangeLog b/ChangeLog
index 269d59de..bbbc7a98 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2010-11-04 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
+ * build-setup.sh: Simplify.
+
2010-11-01 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet: Remove.
diff --git a/build-setup.sh b/build-setup.sh
index b5ec8f78..547f786e 100755
--- a/build-setup.sh
+++ b/build-setup.sh
@@ -11,15 +11,4 @@ rm -rf autom4te.cache
autoheader || error "could not re-generate config/openaxiom-c-macros.h"
autoconf || error "could not re-generate configure"
-## subdirectories that contain Makefile pamphlets of interest
-SUBDIRS=" src/input \
-"
-
-
-for d in $SUBDIRS; do
- notangle -t8 $d/Makefile.pamphlet > $d/tmp-Makefile.in \
- || error "could not extract $d/Makefile.in from pamphlet file"
- config/move-if-change $d/tmp-Makefile.in $d/Makefile.in
-done
-
# set +x