diff options
author | dos-reis <gdr@axiomatics.org> | 2007-12-27 19:39:53 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2007-12-27 19:39:53 +0000 |
commit | 1d956ee860df63134233a71d8de39598dfe9a8bb (patch) | |
tree | 5c30ab52c099559c736dca804086bee0a44b8978 /build-setup.sh | |
parent | 5d3c517bfbca1bf3bf93111dd7e9969d5aa8e486 (diff) | |
download | open-axiom-1d956ee860df63134233a71d8de39598dfe9a8bb.tar.gz |
Remove more Makefile pamphlets and other leftover.
Diffstat (limited to 'build-setup.sh')
-rwxr-xr-x | build-setup.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/build-setup.sh b/build-setup.sh index 49bd4e81..295b8064 100755 --- a/build-setup.sh +++ b/build-setup.sh @@ -17,10 +17,8 @@ autoconf || error "could not re-generate configure" ## subdirectories that contain Makefile pamphlets of interest SUBDIRS=" . \ src \ - src/lib \ src/boot \ src/interp \ - src/share \ src/algebra \ src/input \ " |