diff --git a/src/configure b/src/configure index 687673ceb..4178e4ceb 100755 --- a/src/configure +++ b/src/configure @@ -3746,7 +3746,7 @@ fi libdir="${libdir}/ecl" includedir="${libdir}/ecl/h" -if test -z "${docdir}"; then docdir="${shareddir}/doc/ecl"; fi +if test -z "${docdir}"; then docdir="${datadir}/doc/ecl"; fi