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? Thanks, Jonathan -- 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
