On 5/11/2015 7:30 am, Gedare Bloom wrote: > Are manuals on docs.rtems.org automatically regenerated or need to be > hand-built?
I do not think so. I will discuss this with Amar today. Chris _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel