diff --git a/Documentation/Makefile b/Documentation/Makefile
index 2ad18e0ac30680dff8bb82f0595ac235d3158015..f3a6c733b662f4e9d06bc69cadc2201ea34f41ce 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
prefix?=$(HOME)
bindir?=$(prefix)/bin
-mandir?=$(prefix)/man
+mandir?=$(prefix)/share/man
man1dir=$(mandir)/man1
man5dir=$(mandir)/man5
man7dir=$(mandir)/man7
ASCIIDOC=asciidoc
ASCIIDOC_EXTRA =
+ifdef ASCIIDOC8
+ASCIIDOC_EXTRA += -a asciidoc7compatible
+endif
INSTALL?=install
DOC_REF = origin/man