[DOXYGEN] Update Doxyfile for Doxygen 1.8.13, the version we are going to use from now on.

Browse source

Not much has changed, several options were added, but left at their default values.
However, if search problems persist after Doxygen 1.8.13 generated the documentation for the first time, we can play around with EXTERNAL_SEARCH.

...

This commit is contained in:

Colin Finck 2018-12-05 19:38:14 +01:00

parent 39a478d17b

commit 9eb82c499f

No known key found for this signature in database

GPG key ID: 1BA74E70456BA1A9

1 changed files with 300 additions and 152 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show stats Download patch file Download diff file Expand all files Collapse all files

452

Doxyfile

View file

File diff suppressed because it is too large Load diff