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 | |
| 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')
0 files changed, 0 insertions, 0 deletions