From 6c56d504ddc5488aee75d55eab06efaaa43f3371 Mon Sep 17 00:00:00 2001
From: Christoph Berg <myon@debian.org>
Date: Sat, 14 May 2022 02:43:37 +0800
Subject: [PATCH] Document Debian location of release notes files.

Forwarded: No, Debian specific

Gbp-Pq: Name 70-history
---
 HISTORY | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/HISTORY b/HISTORY
index 18d7b1b..c21a79d 100644
--- a/HISTORY
+++ b/HISTORY
@@ -3,3 +3,6 @@ https://www.postgresql.org/docs/current/static/release.html
 
 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.
+
+On Debian systems, the release notes are contained in the postgresql-doc-*
+packages, located in /usr/share/doc/postgresql-doc-*/html/release.html.