Commit d9573a40 by Ondřej Zajíček

Doc: Update sgml2* tools

The old ones do not work on current Debian.
parent 7e8d6116
Pipeline #20388 passed with stages
in 10 minutes 1 second