-
Agustin Martin Domingo authored
Change final doc build to honour MAKEFLAGS by using a Makefile. Choices are first validated in doc/Makedoc.sh, and then make is invoked with that Makefile. This should allow make options like -j be used in the final doc build process.
3a69d8bd