-
Stefan Sauer authored
Since all we want is to get the include into the docbook files, run an extra step to patch the generated docbook files.
d9a33530
Since all we want is to get the include into the docbook files, run an extra step to patch the generated docbook files.