[PATCH rtems-docs] Add option --build-manuals to build multiple specific manuals.

[Chris Johns]

On 12/2/22 3:37 am, Shashvat wrote:
> Hi Gedare!!
> 
> Is there a ticket associated with this, or any feature request? Or
>> just something you thought of doing?
>>
> 
> I am sorry I should have mentioned the motive behind the option.
> I was planning to work on ticket #3333 which works on a specific
> posix-users manual afaik. I wanted waf to build only this particular manual
> so asked Chris on discord if it is possible and he told me how it was
> broken, and that it would be good to add an option that enables this.

I think this is nice feature to have if you are concentrating on a specific manual.

Chris