diff options
Diffstat (limited to 'doc/index.html.in')
| -rw-r--r-- | doc/index.html.in | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/index.html.in b/doc/index.html.in index 40ee7ee655..1ea55525ed 100644 --- a/doc/index.html.in +++ b/doc/index.html.in @@ -59,6 +59,16 @@ <A HREF="networking/index.html"> RTEMS Network Supplement</A> </LI> + + <LI><A HREF="../pdf/shell.pdf"> + <IMG SRC="images/pdf1.gif" HEIGHT=18 WIDTH=16></A> + <A HREF="../ps/shell.ps"> + <IMG SRC="images/ps.gif" HEIGHT=18 WIDTH=16></A> + <A HREF="../dvi/shell.dvi"> + <IMG SRC="images/dvi.gif" HEIGHT=18 WIDTH=16></A> + <A HREF="shell/index.html"> + RTEMS Shell</A> + </LI> </MENU> <LI>Ada Manuals</LI> <MENU> |