CGAL users discussion list

[Camille Wormser <>]

Sylvain Pion wrote:
> > Don't you think that the manual index would be much easier to use if 
> > split into 27 pages, instead of one huge page?
>
> I don't see that.  How do you easily "grep" in 27 different pages???

I usually don't need to grep the index page. It is definitely not my 
main use of it. 99% of the time, I would go straight to the letter I 
have in mind.

Maybe both should be provided...
--
Camille