From 7f32dbcd73b9a75d09db386fa81c31f42e6f0d3a Mon Sep 17 00:00:00 2001
From: Tom Lane <tgl@sss.pgh.pa.us>
Date: Tue, 30 Jun 2015 18:47:32 -0400
Subject: [PATCH] Fix broken link in documentation.

HP's web server has apparently become case-sensitive sometime recently.
Per bug #13479 from Daniel Abraham.  Corrected link identified by Alvaro.
---
 doc/src/sgml/runtime.sgml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/src/sgml/runtime.sgml b/doc/src/sgml/runtime.sgml
index dacd3e1dfe..547567e9ca 100644
--- a/doc/src/sgml/runtime.sgml
+++ b/doc/src/sgml/runtime.sgml
@@ -2105,7 +2105,7 @@ pg_dumpall -p 5432 | psql -d postgres -p 5433
    are also checked if the parameter <xref linkend="guc-ssl-crl-file"> is set.
    <!-- If this URL changes replace it with a URL to www.archive.org. -->
    (See <ulink
-   url="http://h71000.www7.hp.com/DOC/83final/BA554_90007/ch04s02.html"></>
+   url="http://h71000.www7.hp.com/doc/83final/ba554_90007/ch04s02.html"></>
    for diagrams showing SSL certificate usage.)
   </para>