diff options
author | Neels Hofmeyr <neels@hofmeyr.de> | 2019-02-01 05:56:09 +0100 |
---|---|---|
committer | Neels Hofmeyr <nhofmeyr@sysmocom.de> | 2019-02-04 16:43:57 +0000 |
commit | 44c15b7a8fadff949e79be0b843ec9caca61901c (patch) | |
tree | 7da4bc2b7096843e40921fd6fca4e946678285cb /Doxyfile.ctrl.in | |
parent | 375bf6dcc503626af4c6f7fc36828008b7eb874e (diff) |
doxygen: allow manual 'make apidoc' even if --disable-doxygen
Even if ./configure --disable-doxygen was passed and doxygen builds are by
default skipped, provide a manual 'make apidoc' target that nevertheless
generates the API doc on the premise that a 'doxygen' program is available.
Especially since we do a two-pass doxygen build whenever any source file
changes, my guess is --disable-doxygen could be a common choice. It is then
cumbersome to have to ./configure just to get one doxygen build started.
Change-Id: If8d8dfb8365c8f28612b8ce2b8ddf88f74df9a90
Diffstat (limited to 'Doxyfile.ctrl.in')
0 files changed, 0 insertions, 0 deletions