RE: [PATCH for-4.14] docs: Minor build improvements

2020-06-09 Thread Paul Durrant
> -Original Message- > From: Xen-devel On Behalf Of Jan > Beulich > Sent: 09 June 2020 11:42 > To: Andrew Cooper > Cc: Stefano Stabellini ; Julien Grall > ; Wei Liu ; > Konrad Rzeszutek Wilk ; George Dunlap > ; Ian > Jackson ; Xen-devel > Subject:

Re: [PATCH for-4.14] docs: Minor build improvements

2020-06-09 Thread Jan Beulich
On 08.06.2020 19:15, Andrew Cooper wrote: > Don't use "set -x" for the figs rule. It doesn't take effect in the recursive > make environment. I'd rather view this as an unintended debugging leftover. > Turn the HTML manpage comments into makefile comments, not shell comments. > This saves 3x she

[PATCH for-4.14] docs: Minor build improvements

2020-06-08 Thread Andrew Cooper
Don't use "set -x" for the figs rule. It doesn't take effect in the recursive make environment. Turn the HTML manpage comments into makefile comments, not shell comments. This saves 3x shell invocations per manpage. Signed-off-by: Andrew Cooper --- CC: George Dunlap CC: Ian Jackson CC: Jan Be