Thomas Ackermann wrote:
> This target was only used to create user-manual.pdf with dblatex
> using a separate style definition than was used for user-manual.html.
> These two style definitions had to be maintained separately and
> so made improvements to user-manual.html unnecessarily hard.
I don't understand. Do you mean that you want to change the rules
that generate user-manual.xml? Would generating different XML files
for the PDF and for other purposes (with different names) work as a
way to achieve that without losing the printable manual?
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html