build: Use unversioned doc directory. Thanks, Vagrant!

* configure (docdir): Drop version.  Fixes Debian lint error.
* configure.sh (docdir): Likewise.
This commit is contained in:
Jan Nieuwenhuizen 2019-11-04 23:54:30 +01:00
parent 45427bc641
commit 6a5619de9a
No known key found for this signature in database
GPG key ID: F3C1A0D9C1D65273
2 changed files with 2 additions and 2 deletions

2
configure vendored
View file

@ -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"))

View file

@ -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})