specfile: use %make_build for documentation building as well
This commit is contained in:
parent
3e769242e1
commit
a5ee0b1e1a
@ -183,7 +183,7 @@ git commit --all --amend --no-edit > /dev/null
|
|||||||
%make_build
|
%make_build
|
||||||
|
|
||||||
# Build the documentation in PDF, postscript and HTML versions:
|
# Build the documentation in PDF, postscript and HTML versions:
|
||||||
make -C doc pdf
|
%make_build -C doc pdf
|
||||||
mkdir -p html/gawk html/gawkinet
|
mkdir -p html/gawk html/gawkinet
|
||||||
makeinfo --html -I doc -o html/gawk doc/gawk.texi
|
makeinfo --html -I doc -o html/gawk doc/gawk.texi
|
||||||
makeinfo --html -I doc -o html/gawkinet doc/gawkinet.texi
|
makeinfo --html -I doc -o html/gawkinet doc/gawkinet.texi
|
||||||
|
Loading…
Reference in New Issue
Block a user