diff --git a/Make b/Make index 88ee1b8b0b..bac7814339 100755 --- a/Make +++ b/Make @@ -101,7 +101,11 @@ sh -c 'git describe --abbrev=4 HEAD' >/dev/null 2>&1 || { $GIT describe --abbrev=4 HEAD | sed -e 's/-/./g' >version } -d="$d ASCIIDOC_NO_ROFF=YesPlease ASCIIDOC8=YesPlease BLK_SHA1=YesPlease" +d="$d "' +ASCIIDOC_NO_ROFF=YesPlease +ASCIIDOC8=YesPlease +BLK_SHA1=YesPlease +GNU_ROFF=YesPlease' # Platform hack if test -z "${make:+set}" && {