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..?
You don't need to edit it. Extensions are kept in entities/builtin-extensions.xml, which is generated by scripts/file-entities.php, which is run by ./configure
S
Dave
