Docs/Support/docbook-fixup.pl · 377853e24f82472c7a0a8806b9f1fd3841b25050 · 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).

40b23ba2

docbook-fixup.pl 5.71 KB