diff options
| author | Maxime Hadjinlian <maxime.hadjinlian@gmail.com> | 2016-11-03 11:22:20 +0100 |
|---|---|---|
| committer | Maxime Hadjinlian <maxime.hadjinlian@gmail.com> | 2016-11-03 11:23:42 +0100 |
| commit | b4442f28b9af26a0b593e1966e2a0164931e086c (patch) | |
| tree | 1544970c83a3fc02749a8ae166092281165ca71c /debian/compat | |
| parent | 9cf0d77056c4d956bebf5d9aa39537d806869f96 (diff) | |
doxygen/Makefile: test if doxygen is available
On some machine doxygen is not available, instead of having the build
error out, display a warning message to the user.
Signed-off-by: Maxime Hadjinlian <maxime.hadjinlian@gmail.com>
Diffstat (limited to 'debian/compat')
0 files changed, 0 insertions, 0 deletions