projects
/
postgresql.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
58bd609
)
doc: Remove useless marked section
author
Peter Eisentraut
<peter_e@gmx.net>
Tue, 12 Sep 2017 14:55:04 +0000
(10:55 -0400)
committer
Peter 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
patch
|
blob
|
blame
|
history
diff --git
a/doc/src/sgml/runtime.sgml
b/doc/src/sgml/runtime.sgml
index 088316cfb64f94bc527eeeac74799d611082ea25..6c4c7f4a8e133a3e59b12b39fd33ce0c839422f4 100644
(file)
--- 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>