Hi Thomas,

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

Reply via email to