diff --git a/Doc/tools/sgmlconv/conversion.xml b/Doc/tools/sgmlconv/conversion.xml index 9df40e37528..c2f9f0d9200 100644 --- a/Doc/tools/sgmlconv/conversion.xml +++ b/Doc/tools/sgmlconv/conversion.xml @@ -38,6 +38,9 @@ + + + @@ -455,6 +458,10 @@ visible + + yes + + @@ -658,7 +665,10 @@ - + + + + @@ -766,7 +776,7 @@ @@ -831,6 +841,9 @@ ~ + + \ + |