diff options
author | dos-reis <gdr@axiomatics.org> | 2007-09-10 09:58:43 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2007-09-10 09:58:43 +0000 |
commit | ace797d13576e2ae0b3ab9096f3433a531819ee0 (patch) | |
tree | 492b97e1fba68d336855220b7117a0a0e82740b0 /src/interp/br-op1.boot.pamphlet | |
parent | e515df7b31968f17d8df71e7ba74afbf2ae2c07a (diff) | |
download | open-axiom-ace797d13576e2ae0b3ab9096f3433a531819ee0.tar.gz |
* Makefile.pamphlet (all-noweb): Depend only on one target,
notangle.
($(addprefix $(axiom_build_bindir)/, notangle noweave)): Touch
shell scripts too.
* Makefile.in: Regenerate.
Diffstat (limited to 'src/interp/br-op1.boot.pamphlet')
0 files changed, 0 insertions, 0 deletions