Re: [Openocd-development] [PUSHED 2/2] update doxygen build

[Zach W. <zw...@su...>]

On Tue, 2009-11-17 at 07:02 -0800, Zachary T Welch wrote:
> Hi all,
> 
> The first patch extends the Doxygen build process to produce a PDF
> version of the developer manual.  Due to the time it takes to (re)build,
> the second patch adds configuration options for the user to explicitly
> enable this documentation output option.

Pushed, taking the improvements suggested by David.  Please be sure to
migrate your old doxygen/ folder to doxygen/html!

--Z