aboutsummaryrefslogtreecommitdiff
path: root/Makefile.pamphlet
AgeCommit message (Collapse)AuthorFilesLines
2007-08-222007-08-21 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-0/+5
* Makefile.pamphlet (check): New rule. * Makefile.in: Regenerate. src/ 2007-08-21 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet (all-check): New rule. * Makefile.in: Regenerate. sr/input 2007-08-21 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet (all-ax all-input): Remove regress. (${OUT}/%.input): Don't be overly verbose. (%.input): Likewise. (%.as): Likewise. (use): Remove, as it is empty (regress): Likewise. (bug): Likewise. (document): Likewise. (all-check): New rule. Launch testing. * Makefile.in: Regenerate.
2007-08-16 * configure.ac.pamphlet: Don't error out if noweb source filesdos-reis1-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-reis1-191/+34
2007-08-14Initial population.dos-reis1-0/+837