From 6a5619de9a7ca11a7a704caba5b578564b071dbe Mon Sep 17 00:00:00 2001 From: Jan Nieuwenhuizen Date: Mon, 4 Nov 2019 23:54:30 +0100 Subject: [PATCH] build: Use unversioned doc directory. Thanks, Vagrant! * configure (docdir): Drop version. Fixes Debian lint error. * configure.sh (docdir): Likewise. --- configure | 2 +- configure.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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})