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

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

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