Improve text of stub HISTORY file.

Per Peter Eisentraut.

diff --git a/HISTORY b/HISTORY
index 360c7f68b3eb058c21e431d6c24b2bcb940ce24e..c8067b8bbccb5aaa80c552ae05fc34609371c909 100644 (file)
--- a/HISTORY
+++ b/HISTORY
@@ -1,6 +1,6 @@
 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.  Unpack the file doc/postgres.tar.gz, then visit the contained
+file release.html in an HTML browser.