a page of one's own?

Ross Paterson ross@soi.city.ac.uk
Mon, 3 Mar 2003 14:22:38 +0000


Could you split ghc/docs/index.html so that the libraries have a page
of their own?  (Even if it is inside the GHC docs).