mirror of
https://github.com/MariaDB/server.git
synced 2025-07-30 16:24:05 +03:00
Docs/Support/docbook-fixup.pl: Added new regex for XREFs, to have them in correct English-grammar. Minor fixup to removed node catcher from earlier change. Docs/manual.texi: Fixup of Texinfo @ref/@xref/@pxref usage in appropriate locations.