[Openocd-development] [PATCH 0/2] update doxygen build

[Zachary T W. <zw...@su...>]

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.

Cheers,

Zach