Improve text of stub HISTORY file.

Per Peter Eisentraut.

diff --git a/HISTORY b/HISTORY
index 360c7f68b3eb058c21e431d6c24b2bcb940ce24e..dcfd713c15a70061c21b2dc10a8c7712c06e1b5f 100644 (file)
--- a/HISTORY
+++ b/HISTORY
@@ -1,6 +1,5 @@
 Release notes for all versions of PostgreSQL can be found on-line at
-http://www.postgresql.org/docs/devel/static/release.html
+http://www.postgresql.org/docs/current/static/release.html
 
-In a distribution file set, release notes for the current version can be
-found prebuilt under doc/src/sgml/html/.  Visit the index.html file with
-an HTML browser, then consult the "Release Notes" appendix.
+Distribution file sets include release notes for their version and preceding
+versions.  Visit the file doc/src/sgml/html/release.html in an HTML browser.