From d6bdb075ca9abe8b343eb88802a6dc302d6255ec Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Thu, 17 Jan 2002 12:35:20 +0000
Subject: [PATCH] Update the list of output formats.

---
 Doc/doc/doc.tex | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Doc/doc/doc.tex b/Doc/doc/doc.tex
index 3e608a4578..8e8979d759 100644
--- 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}
-- 
2.40.0