# The SED and AWK filters in this rule, are to work-around some nasty bugs in
# makeinfo version 4.13, which produces broken docbook xml. These workarounds
# are rather horrible and must be removed asap.
# The SED and AWK filters in this rule, are to work-around some nasty bugs in
# makeinfo version 4.13, which produces broken docbook xml. These workarounds
# are rather horrible and must be removed asap.