diff --git a/share/apps.json b/share/apps.json index 04e789f27..8bede7de9 100755 --- a/share/apps.json +++ b/share/apps.json @@ -523,7 +523,7 @@ }, "Doxygen": { "cats": [ 4 ], - "html": "(