]> git.tue.mpg.de Git - paraslash.git/commit
Update DOXYFILE.
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 25 Sep 2022 21:27:17 +0000 (23:27 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Mon, 20 Feb 2023 12:49:53 +0000 (13:49 +0100)
commit44dabcd85164d35a0616f1d505bd48e91a416720
treec414f7ef34778994fd0e39a994e5ed420e072034
parent84d9cbacb56da678d687402a4ec4d0b3094c974a
Update DOXYFILE.

The patched file was created with doxygen -u with no manual editing. We
picked doxygen-1.8.17 although that's already a bit old because this
version ships with Ubuntu-20.04. However, this version generates a file
list (shown on the Documentation page) which lacks the description
column, so we use a self-compiled doxygen executable for the time
being.
Doxyfile