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.

diff --git a/doc/src/sgml/runtime.sgml b/doc/src/sgml/runtime.sgml
index 5771757c5fd6dfd36a25e31e2bc07a5c0723f814..6760fc8fffbe2cab4794702fb2e3a09b541821a7 100644 (file)
--- a/doc/src/sgml/runtime.sgml
+++ b/doc/src/sgml/runtime.sgml
@@ -2090,7 +2090,7 @@ pg_dumpall -p 5432 | psql -d postgres -p 5433
    are also checked if the parameter  is set.
    
    (See 
-   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.)