[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 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)