diff options
author | dos-reis <gdr@axiomatics.org> | 2009-04-18 06:11:42 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-04-18 06:11:42 +0000 |
commit | e865a85b43caa6f453304e836dae3b62ca73c635 (patch) | |
tree | c0fc52edfcd7d0e5b4febdc251c24ba8a6b89608 /src/interp/simpbool.boot | |
parent | 6ad3412bc13d3ae7a5f7f68260a90ae1bd536e03 (diff) | |
download | open-axiom-e865a85b43caa6f453304e836dae3b62ca73c635.tar.gz |
Fix SF/2757715
* Makefile.pamphlet (all-input): Make all-doc a requirement.
(all-doc): Tidy.
* doc/Makefile.in: Likewise. Install help files.
* doc/help: New. Home for help files.
Diffstat (limited to 'src/interp/simpbool.boot')
0 files changed, 0 insertions, 0 deletions