Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2007-08-16 | * configure.ac.pamphlet: Don't error out if noweb source files | dos-reis | 1 | -0/+40 | |
are present when no executable is available. * configure.ac.: Regenerate. * configure: Likewise. * config/var-def.mk (axiom_build_nowebdir): Resurect. * Makefile.pamphlet (<<noweb>>): Resurect. (clean-local): Remove noweb build dir too. * Makefile.in: Regenerate. | |||||
2007-08-14 | (no commit message) | dos-reis | 1 | -191/+34 | |
2007-08-14 | Initial population. | dos-reis | 1 | -0/+837 | |