Update the list of output formats.

diff --git a/Doc/doc/doc.tex b/Doc/doc/doc.tex
index 3e608a45780f8486b53d74bf29dce367f24ee2d7..8e8979d7594b552895e4ceb3a2d1e2fc58d3d102 100644 (file)
--- a/Doc/doc/doc.tex
+++ b/Doc/doc/doc.tex
@@ -131,6 +131,8 @@ distribution, to create or maintain whole documents or sections.
        \begin{tableii}{p{.75in}|p{3in}}{filenq}{Directory}{Output Formats}
          \lineii{html/}{HTML output}
          \lineii{info/}{GNU info output}
+         \lineii{isilo/}{\ulink{iSilo}{http://www.isilo.com/}
+                         documents (for Palm OS devices)}
          \lineii{paper-a4/}{PDF and PostScript, A4 paper}
          \lineii{paper-letter/}{PDF and PostScript, US-Letter paper}
        \end{tableii}