On Mon, 2008-04-07 at 10:58 +0100, Andrew John Hughes wrote: > Seems a sensible option to me. > Do you have a patch you could post? When we are at options, I'd like to have a --disable-docs option. Maybe I can post a patch later. - twisti