From ad194a6cadbb4718d238c85925ab8c646a3afdf7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nikola=20Forr=C3=B3?= Date: Fri, 6 Mar 2020 10:40:09 +0100 Subject: [PATCH 5/5] do not overwrite docdir --- Makefile.in | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/Makefile.in b/Makefile.in index 5331dd3..21522e3 100644 --- a/Makefile.in +++ b/Makefile.in @@ -3378,9 +3378,8 @@ doc_dist_target_ok = @doc_dist_target_ok@ # `infodir' says where to install info files. # docdir -# `docdir' says where to install documentation files. The default -# location is ${datarootdir}/doc/${PACKAGE}, but we add the version -docdir = $(datarootdir)/doc/${PACKAGE}-$(SHORT_VERSION) +# `docdir' says where to install documentation files. +docdir = @docdir@ dvidir = @dvidir@ exec_prefix = @exec_prefix@ g = @g@ -- 2.21.1