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