Avoid element in man pages

The upstream DocBook manpages stylesheet apparently does not handle
the  element at all, and so the content comes out
unformatted, which is not useful.

As a workaround, replace  with a nested , which
ends up effectively the same in output.

diff --git a/doc/src/sgml/ref/pgupgrade.sgml b/doc/src/sgml/ref/pgupgrade.sgml
index 3fbe141456d9b2e012745527e09232de3a698319..f024c3ef2596e02d25ea0e06f18271d5175e1510 100644 (file)
--- a/doc/src/sgml/ref/pgupgrade.sgml
+++ b/doc/src/sgml/ref/pgupgrade.sgml
@@ -499,7 +499,7 @@ pg_upgrade.exe
      is running.
     
 
-    <substeps>
+    <procedure>
 
      
       Install the new PostgreSQL binaries on standby servers
@@ -624,7 +624,7 @@ rsync --archive --delete --hard-links --size-only --no-inc-recursive /vol1/pg_tb
       
      
 
-    substeps>
+    procedure>