diff options
Diffstat (limited to 'appendixa/texinfo-shortdesc.xml')
| -rw-r--r-- | appendixa/texinfo-shortdesc.xml | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/appendixa/texinfo-shortdesc.xml b/appendixa/texinfo-shortdesc.xml index 7f4a74cc9..7bcab1836 100644 --- a/appendixa/texinfo-shortdesc.xml +++ b/appendixa/texinfo-shortdesc.xml @@ -6,10 +6,7 @@ writing and converting Info documents, which provide system documentation.</para> -<para>Texinfo installs the following:</para> - -<sect3><title>Program Files</title> -<para>info, infokey, install-info, makeinfo, texi2dvi and -texindex</para></sect3> +<para><emphasis>Installed programs</emphasis>: info, infokey, install-info, +makeinfo, texi2dvi and texindex</para> </sect2> |