So, should we rename the *.sgml files to *.xml, since they are actually
now XML files?
Advantages: better automatic editor integration, better automatic syntax
highlighting (e.g., on GitHub), less confusion in general in the future
And maybe while we're at it, truncate the directory structure
doc/src/sgml/ a bit? The intermediate directories had a meaning at some
point, but now they're mostly empty.
--
Peter Eisentraut http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services