From: Andre Noll <maan@tuebingen.mpg.de>
Date: Tue, 16 May 2017 20:08:19 +0000 (+0200)
Subject: doxygen: Avoid segfault.
X-Git-Tag: v0.6.1~80
X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=commitdiff_plain;h=1b9ff7d64dc1bebdfb8f0aa8283a7e9372ed8d2d;hp=1b9ff7d64dc1bebdfb8f0aa8283a7e9372ed8d2d

doxygen: Avoid segfault.

After an upgrade to Ubuntu-16.04, the new doxygen version 1.8.11
started to segfault. It turned out that this can be circumvented
by disabling USE_HTAGS so that doxygen will use its built-in source
browser instead of the htags tool of GNU global.

However, the html which is generated by the built-in source browser
the source code is unreadable because leading tab characters are not
shown, so indentation is messed up.

This patch deactivates the source browser for now, getting rid of
all source code in the generated output.
---