Docs/Support/docbook-fixup.pl · 371513975168820bce024e052dc619e010ea187e · nexedi / MariaDB

unknown authored Jul 30, 2002


Docs/Support/docbook-fixup.pl:
  DocBook script fixup.
Docs/manual.texi:
  Remove double space (texi2db does not like it).

6014b8ea

docbook-fixup.pl 5.71 KB