From ad194a6cadbb4718d238c85925ab8c646a3afdf7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nikola=20Forr=C3=B3?= <nforro@redhat.com>
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