Re: manual pages on web site

> Thomas, what should be done with the 6.3.2 manual pages on the web site.
> Seems now that they are in the documentation, we can just remove them.

Yeah, kill 'em.

> Should we have a separate documentation link for just the manual pages?

That might be nice (where "manual pages" == "pointer to relevant
html"?). No point in having a pointer to the *roff versions imho.
                       - Thomas

-- 
Thomas Lockhart                lockhart@alumni.caltech.edu
South Pasadena, California