[PATCH] If --with-docdir isn't given, fall back to --docdir. Else warn

[Matthias Andree]

# HG changeset patch
# User Matthias Andree <matthias.and...@gmx.de>
# Date 1247006816 -7200
# Branch HEAD
# Node ID 6fb746b71758dfe7eda021a119d45b0d7e262f72
# Parent  a3c4b605cfada5be4c9234cbdaa4424206b06fa5
If --with-docdir isn't given, fall back to --docdir. Else warn.

Fixes #3282.

diff -r a3c4b605cfad -r 6fb746b71758 configure.ac
--- a/configure.ac      Fri Jul 17 17:57:41 2009 -0400
+++ 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)