mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 03:52:35 +01:00
40b23ba214
Docs/Support/docbook-fixup.pl: DocBook script fixup. Docs/manual.texi: Remove double space (texi2db does not like it). |
||
---|---|---|
.. | ||
.cvsignore | ||
colspec-fix.pl | ||
docbook-fixup.pl | ||
docbook-prefix.pl | ||
docbook-split | ||
generate-flag-images | ||
generate-mirror-listing.pl | ||
generate-text-files.pl | ||
make-docbook | ||
make-makefile | ||
test-make-manual | ||
test-make-manual-de | ||
texi2html | ||
texinfo.tex | ||
trivial-makeinfo-4.0c.patch | ||
update-reserved-words.pl | ||
xwf |