specfile: use %make_build for documentation building as well
This commit is contained in:
parent
0b13959ebf
commit
28cdf68946
|
@ -179,7 +179,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
|
||||
|
|
Loading…
Reference in New Issue