From c79911fec58d3916870b9cf9dabce80d4377498c Mon Sep 17 00:00:00 2001
From: dchandler <dchandler>
Date: Mon, 28 Oct 2002 05:00:07 +0000
Subject: [PATCH] We now have two sets of API docs, one with private members
 too.

---
 htdocs/THDLTools_Developers.html | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/htdocs/THDLTools_Developers.html b/htdocs/THDLTools_Developers.html
index eedede7..81cf667 100644
--- a/htdocs/THDLTools_Developers.html
+++ b/htdocs/THDLTools_Developers.html
@@ -32,7 +32,11 @@
 
   <ul>
     <li>
-      our Javadoc <a href="api/">API docs</a>.
+      our Javadoc <a href="pubapi/">API docs</a> [grab the whole <a
+      href="public-javadocs.zip">zip file</a>] (see also these <a
+      href="privateapi/">API docs</a> [grab the whole <a
+      href="private-javadocs.zip">zip file</a>] that contain private
+      class members).
     </li>
     <li>
       a description of our <a href="BuildSystems.html"> build