diff options
Diffstat (limited to 'appendixa/texinfo-desc.xml')
| -rw-r--r-- | appendixa/texinfo-desc.xml | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/appendixa/texinfo-desc.xml b/appendixa/texinfo-desc.xml deleted file mode 100644 index 756c508bb..000000000 --- a/appendixa/texinfo-desc.xml +++ /dev/null @@ -1,22 +0,0 @@ -<sect2><title>Short descriptions</title> - -<para><command>info</command> is used to read Info documents. Info -documents are a bit like man pages, but often go much deeper than just -explaining all the flags. Compare for example man tar and info tar.</para> - -<para><command>infokey</command> compiles a source file containing Info -customizations into a binary format.</para> - -<para><command>install-info</command> is used to install Info files. It -updates entries in the Info index file.</para> - -<para><command>makeinfo</command> translates the given Texinfo source -documents into various other formats: Info files, plain text, or HTML.</para> - -<para><command>texi2dvi</command> is used to format the given Texinfo -document into a device-independent file that can be printed.</para> - -<para><command>texindex</command> is used to sort Texinfo index files.</para> - -</sect2> - |