diff options
-rw-r--r-- | ChangeLog | 4 | ||||
-rwxr-xr-x | build-setup.sh | 11 |
2 files changed, 4 insertions, 11 deletions
@@ -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 |