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 _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
