diff --git a/Doc/tools/sgmlconv/conversion.xml b/Doc/tools/sgmlconv/conversion.xml index c55d4628e43..eee120a9ca1 100644 --- a/Doc/tools/sgmlconv/conversion.xml +++ b/Doc/tools/sgmlconv/conversion.xml @@ -98,12 +98,23 @@ + + + + + no + + + + + + @@ -556,6 +567,9 @@ + + + LaTeX @@ -565,6 +579,9 @@ + + + TeX @@ -732,9 +749,15 @@ Unix + + ^ + ~ + + | +