From: Peter Eisentraut <peter_e@gmx.net>
Date: Tue, 12 Sep 2017 14:55:04 +0000 (-0400)
Subject: doc: Remove useless marked section
X-Git-Tag: REL_11_BETA1~1622
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=2eeaa74b5ba20bc75bbaf10837a1ae966094d6cc;p=postgresql

doc: Remove useless marked section

This was left around when this text was moved from installation.sgml in
c5ba11f8fb1701441b96a755ea410b96bfe36170.
---

diff --git a/doc/src/sgml/runtime.sgml b/doc/src/sgml/runtime.sgml
index 088316cfb6..6c4c7f4a8e 100644
--- a/doc/src/sgml/runtime.sgml
+++ b/doc/src/sgml/runtime.sgml
@@ -1863,8 +1863,7 @@ $ <userinput>kill -INT `head -1 /usr/local/pgsql/data/postmaster.pid`</userinput
     <step>
      <para>
       Install the new version of <productname>PostgreSQL</productname> as
-      outlined in <![%standalone-include[the next section.]]>
-      <![%standalone-ignore[<xref linkend="install-procedure">.]]>
+      outlined in <xref linkend="install-procedure">.
      </para>
     </step>