Sean Coates wrote: > Do we still need to edit manual.xml.in when we add sections? > For some reason I was under the impression that this is done > automatically, now..
There's no need to edit it anymore but please edit appendices/extensions.xml instead. Jakub Vrana
