tree af0c8500629dfcdae1a275df43ca44f18bddeddf
parent 1f82d0aecfa30884426fdcf583b32826527c639c
author Pau Espin Pedrol <pespin@sysmocom.de> 1499330722 +0200
committer Pau Espin Pedrol <pespin@sysmocom.de> 1499330726 +0200

configure.ac: Add --disable-doxygen flag

This flag, when set, allows to unconditionally disable doxygen
documentation generation, even if doxygen command is found.

Change-Id: Iba1440292116af27b267c7a1fbec1c2336784efe