From: Jonathan Nieder <jrnieder@gmail.com>
Date: Tue, 18 Jun 2013 04:34:56 GMT
Subject: Re: [PATCH] Remove pdf target from Makefiles
Message-ID: <20130618043455.GB2896@elie.Belkin>
In-Reply-To: <1370125851.738272.1371492972525.JavaMail.ngmail@webmail23.arcor-online.net>

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