diff options
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 b7fa6087..3e728094 100644 --- a/configure.ac.pamphlet +++ b/configure.ac.pamphlet @@ -647,7 +647,7 @@ axiom_all_prerequisites= ## Occaionally, we may want to keep intermediary files. oa_keep_files= -AC_ARG_ENABLE([int-file-retension], +AC_ARG_ENABLE([int-file-retention], [ --enable-int-file-retention keep intermediary files], [case $enableval in yes|no) oa_keep_files=$enableval ;; |