diff options
| author | dos-reis <gdr@axiomatics.org> | 2007-12-27 19:39:53 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2007-12-27 19:39:53 +0000 |
| commit | 1d956ee860df63134233a71d8de39598dfe9a8bb (patch) | |
| tree | 5c30ab52c099559c736dca804086bee0a44b8978 /configure.ac.pamphlet | |
| parent | 5d3c517bfbca1bf3bf93111dd7e9969d5aa8e486 (diff) | |
| download | open-axiom-1d956ee860df63134233a71d8de39598dfe9a8bb.tar.gz | |
Remove more Makefile pamphlets and other leftover.
Diffstat (limited to 'configure.ac.pamphlet')
| -rw-r--r-- | configure.ac.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac.pamphlet b/configure.ac.pamphlet index 7b978c3c..c422b8a1 100644 --- a/configure.ac.pamphlet +++ b/configure.ac.pamphlet @@ -997,7 +997,7 @@ information: \item the \emph{name} of the system --- ``OpenAxiom 1.0.0'' \item its \emph{version}. I choose to use the date of last checkin. It should probably include the revision number so as to - unambiguously identify which \Tool{OpnAxiom} flavour du jour is being + unambiguously identify which \Tool{OpenAxiom} flavour du jour is being built; \item and where to send feedback, \emph{e.g.} bug reports. At the moment, we use |