build: Use unversioned doc directory. Thanks, Vagrant!
authorJan Nieuwenhuizen <janneke@gnu.org>
Mon, 4 Nov 2019 22:54:30 +0000 (23:54 +0100)
committerJan Nieuwenhuizen <janneke@gnu.org>
Mon, 4 Nov 2019 22:54:30 +0000 (23:54 +0100)
* configure (docdir): Drop version.  Fixes Debian lint error.
* configure.sh (docdir): Likewise.

configure
configure.sh

index 283e9602f143189e3b4ddec289816c451dc9a58d..e0950c1bbc07430ce76c96fc206cc4f472243da4 100755 (executable)
--- 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"))
index 5f165d18ae8b5be51d51b893b79cc7672ab52741..9479ef9342b34cc886ee92fbc722acc206abd991 100755 (executable)
@@ -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})