Re: [PATCH 1/5] Makefile: Allow for subdirectories in Sphinx manual dependencies

2020-03-11 Thread Richard Henderson
On 3/9/20 2:58 PM, Peter Maydell wrote: > Currently we put 'docs/foo/*.rst' in the Make list of dependencies > for the Sphinx 'foo' manual, which means all the files must be > in the top level of that manual's directory. We'd like to be > able to have subdirectories inside some of the manuals, so

Re: [PATCH 1/5] Makefile: Allow for subdirectories in Sphinx manual dependencies

2020-03-10 Thread Niek Linnenbank
Reviewed-by: Niek Linnenbank On Mon, Mar 9, 2020 at 10:58 PM Peter Maydell wrote: > Currently we put 'docs/foo/*.rst' in the Make list of dependencies > for the Sphinx 'foo' manual, which means all the files must be > in the top level of that manual's directory. We'd like to be > able to have

Re: [PATCH 1/5] Makefile: Allow for subdirectories in Sphinx manual dependencies

2020-03-10 Thread Alex Bennée
Peter Maydell writes: > Currently we put 'docs/foo/*.rst' in the Make list of dependencies > for the Sphinx 'foo' manual, which means all the files must be > in the top level of that manual's directory. We'd like to be > able to have subdirectories inside some of the manuals, so add >

[PATCH 1/5] Makefile: Allow for subdirectories in Sphinx manual dependencies

2020-03-09 Thread Peter Maydell
Currently we put 'docs/foo/*.rst' in the Make list of dependencies for the Sphinx 'foo' manual, which means all the files must be in the top level of that manual's directory. We'd like to be able to have subdirectories inside some of the manuals, so add 'docs/foo/*/*.rst' to the dependencies too.