mirror of
https://github.com/MariaDB/server.git
synced 2025-07-17 12:02:09 +03:00

align class members = no (get rid of crufty HTML tables that don't translate well into PDF) tab = 2 (8 is too wide) show used = no (most of these are suppressed header files, hence not linked, hence not useful) disable index = yes (saves stripping these out in combination script)