mirror of
https://github.com/postgres/postgres.git
synced 2025-07-27 12:41:57 +03:00
Multiple intros cause trouble since they have some section elements (e.g. "y2k.sgml") in common leading to duplicate labels. Include emacs formatting hints in the intro*.sgml sources.