diff options
-rw-r--r-- | doc/index.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/index.html b/doc/index.html index c690161f25..9c44cf5deb 100644 --- a/doc/index.html +++ b/doc/index.html @@ -18,7 +18,7 @@ </LI> <LI>C/C++ Manuals</LI> <MENU> - <LI><A HREF="started/started.pdf"> + <LI><A HREF="BAD.html"> <IMG SRC="pdf1.gif" HEIGHT=18 WIDTH=16></A> <A HREF="started/started.ps"> <IMG SRC="ps.gif" HEIGHT=18 WIDTH=16></A> @@ -60,7 +60,7 @@ </MENU> <LI>Ada Manuals</LI> <MENU> - <LI><A HREF="started_ada/started_ada.pdf"> + <LI><A HREF="BAD.html"> <IMG SRC="pdf1.gif" HEIGHT=18 WIDTH=16></A> <A HREF="started_ada/started_ada.ps"> <IMG SRC="ps.gif" HEIGHT=18 WIDTH=16></A> |