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    
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services

Reply via email to