aboutsummaryrefslogtreecommitdiff
path: root/config/var-def.mk
AgeCommit message (Collapse)AuthorFilesLines
2007-08-16 * configure.ac.pamphlet: Don't error out if noweb source filesdos-reis1-0/+1
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-14Initial population.dos-reis1-0/+225