[PATCH] If --with-docdir isn't given, fall back to --docdir. Else warn
# HG changeset patch
# User Matthias Andree <matthias.andree@xxxxxx>
# Date 1247006816 -7200
# Branch fixdocdir
# Node ID 4d82291772f4e23fe2cee472eb8a383d9b27a203
# Parent d5e03a46518c96ab3aa9f89114160be34631baf0
If --with-docdir isn't given, fall back to --docdir. Else warn.
Fixes #3282.
diff -r d5e03a46518c -r 4d82291772f4 configure.ac
--- a/configure.ac Tue Jul 07 15:03:53 2009 +0200
+++ b/configure.ac Wed Jul 08 00:46:56 2009 +0200
@@ -537,10 +537,15 @@
AC_SUBST([datarootdir])
AC_MSG_CHECKING(where to put the documentation)
+warn_with_docdir=0
AC_ARG_WITH(docdir, AC_HELP_STRING([--with-docdir=PATH], [Specify where to put
the documentation]),
- [mutt_cv_docdir=$withval],
- [mutt_cv_docdir='${datarootdir}/doc/mutt'])
+ [mutt_cv_docdir=$withval
+ warn_with_docdir=1],
+ [mutt_cv_docdir="${docdir}"])
AC_MSG_RESULT($mutt_cv_docdir)
+if test $warn_with_docdir != 0 ; then
+ AC_MSG_WARN([Note that --with-docdir is deprecated. Use --docdir instead.])
+fi
docdir=$mutt_cv_docdir
AC_SUBST(docdir)