From c90859fd761a24abc5fe4109514827bdf559099b Mon Sep 17 00:00:00 2001
From: Tom Lane <tgl@sss.pgh.pa.us>
Date: Wed, 12 Feb 2014 18:16:17 -0500
Subject: [PATCH] Improve text of stub HISTORY file.

Per Peter Eisentraut.
---
 HISTORY | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/HISTORY b/HISTORY
index 360c7f68b3..dcfd713c15 100644
--- 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.