On Tuesday 17 November 2009, Zachary T Welch wrote:
> Add --disable-manual-html and --enable-manual-pdf options to the
> configure script, allowing user to change the defaults. These
> update the proess of munging the Doxygen configuration file to
> use the settings thusly provided. Add options in README.
Please call these "--{en,dis}able-doxygen-{html,pdf}" instead.
There's more than one manual. Specifying the Doxygen one gets
rid of ambiguity.
_______________________________________________
Openocd-development mailing list
[email protected]
https://lists.berlios.de/mailman/listinfo/openocd-development
