mirror of
https://github.com/MariaDB/server.git
synced 2025-12-24 11:21:21 +03:00
Docs/Support/colspec-fix.pl: Various improvements, error checks and cleaning - Increased gutter size - Added check to ensure that total column % is not greater than 100% - Changed code to work with hacks to makeinfo - Ensure that total column width is less than max table width - Trim overly long end columns if needed