<!-- In the example course this page is opened from the menu and
calls the php-script man.php (check that for further infos)
to provide the local man page for a Unix-command -->
<HTML>
<HEAD>
<TITLE>Manual Pages</TITLE>
</HEAD>
<BODY text="#000000" bgcolor="#FFFFFF" link="#0000EE" vlink="#551A8B" alink="#FF0000">
<TT>Here you may access the man pages on the webserver.</TT>
<P><TT>Which command are you interested in:</TT><BR></P>
<FORM action="../scripts/man.php">
<INPUT type="text" size="12" name="command">
<INPUT type="submit" value="submit">
</FORM>
<BR>
</BODY>
</HTML>