On Sat, 23 Jun 2007 17:11:16 +0300 Petteri Räty wrote: > My opinion is to make it clear that the doc use flag always controls > whether or not to install documentation and make it clear in the > devmanual. The doc use flag is used where there is a reason to make documentation optional rather than mandatory. Examples of such reasons include increased dependencies (e.g. Doxygen, which pulls in a fair bit), increased build time (e.g. Doxygen, which can be frickin' slow) or substantially increased disk usage. If there's no substantial cost to documentation, it should always be installed. -- Ciaran McCreesh