diff options
Diffstat (limited to 'doc/src/sgml/release.sgml')
-rw-r--r-- | doc/src/sgml/release.sgml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/doc/src/sgml/release.sgml b/doc/src/sgml/release.sgml index 0980c6eb5f6..8cfd57d9f19 100644 --- a/doc/src/sgml/release.sgml +++ b/doc/src/sgml/release.sgml @@ -34,9 +34,7 @@ non-ASCII characters find using grep -P '[\x80-\xFF]' wrap long lines -For new features, add links to the documentation sections. Use </link> -not just </> so that generate_history.pl can remove it, so HISTORY.html -can be created without links to the main documentation. Don't use <xref>. +For new features, add links to the documentation sections. --> @@ -71,7 +69,6 @@ can be created without links to the main documentation. Don't use <xref>. <!-- To add a new major-release series, add an entry here and in filelist.sgml. - Follow the naming convention, or you'll confuse generate_history.pl. The reason for splitting the release notes this way is so that appropriate subsets can easily be copied into back branches. |