diff TODO @ 9436:5763caa55b57 HEAD

--without-docs: make install no longer installs any docs.
author Timo Sirainen <tss@iki.fi>
date Thu, 15 Oct 2009 20:56:11 -0400
parents 42f6578c8602
children 4e001a34078e
line wrap: on
line diff