diff options
Diffstat (limited to 'build-setup.sh')
-rwxr-xr-x | build-setup.sh | 11 |
1 files changed, 0 insertions, 11 deletions
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 |