]> granicus.if.org Git - postgresql/commitdiff
doc: Remove useless marked section
authorPeter Eisentraut <peter_e@gmx.net>
Tue, 12 Sep 2017 14:55:04 +0000 (10:55 -0400)
committerPeter Eisentraut <peter_e@gmx.net>
Tue, 12 Sep 2017 14:55:04 +0000 (10:55 -0400)
This was left around when this text was moved from installation.sgml in
c5ba11f8fb1701441b96a755ea410b96bfe36170.

doc/src/sgml/runtime.sgml

index 088316cfb64f94bc527eeeac74799d611082ea25..6c4c7f4a8e133a3e59b12b39fd33ce0c839422f4 100644 (file)
@@ -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>