From a5ee0b1e1a8741fd2ce4feedf1622b24a5dbc256 Mon Sep 17 00:00:00 2001
From: "David Kaspar [Dee'Kej]" <dkaspar@redhat.com>
Date: Thu, 23 Nov 2017 16:46:42 +0100
Subject: [PATCH] specfile: use %make_build for documentation building as well

---
 gawk.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gawk.spec b/gawk.spec
index 45ad9a5..cf921ed 100644
--- a/gawk.spec
+++ b/gawk.spec
@@ -183,7 +183,7 @@ git commit --all --amend --no-edit > /dev/null
 %make_build
 
 # Build the documentation in PDF, postscript and HTML versions:
-make -C doc pdf
+%make_build -C doc pdf
 mkdir -p html/gawk html/gawkinet
 makeinfo --html -I doc -o html/gawk     doc/gawk.texi
 makeinfo --html -I doc -o html/gawkinet doc/gawkinet.texi