diff --git a/configure b/configure index 283e9602..e0950c1b 100755 --- a/configure +++ b/configure @@ -382,7 +382,7 @@ Some influential environment variables: (bindir (option-ref options 'bindir "${prefix}/bin")) (datadir (option-ref options 'datadir "${prefix}/share")) - (docdir (option-ref options 'docdir "${datadir}/doc/mes-${VERSION}")) + (docdir (option-ref options 'docdir "${datadir}/doc/mes")) (includedir (option-ref options 'includedir "${prefix}/include")) (libdir (option-ref options 'libdir "${prefix}/lib")) (pkgdatadir (string-append datadir "/mes")) diff --git a/configure.sh b/configure.sh index 5f165d18..9479ef93 100755 --- a/configure.sh +++ b/configure.sh @@ -94,7 +94,7 @@ else fi bindir=$(eval echo ${bindir-$prefix/bin}) datadir=$(eval echo ${datadir-$prefix/share}) -docdir=$(eval echo ${docdir-$datadir/doc/mes-$VERSION}) +docdir=$(eval echo ${docdir-$datadir/doc/mes}) infodir=$(eval echo ${infodir-$datadir/info}) includedir=$(eval echo ${includedir-$prefix/include}) libdir=$(eval echo ${libdir-$prefix/lib})