Re: Re: Re: [PATCH] Remove pdf target from Makefiles

2013-06-18 Thread Jonathan Nieder
Thomas Ackermann wrote: > When I want to tweak the html generation rules I also have to tweak the pdf > generation rules because html and pdf should be as similiar to each other as > possible. Ah, *that's* what I missed. Thanks for explaining. I think it's fine for the html and pdf to look diff

Aw: Re: Re: [PATCH] Remove pdf target from Makefiles

2013-06-18 Thread Thomas Ackermann
> > If I understood the original commit message correctly, you were saying > the XML file was not suitable for html generation and you wanted to > tweak it, and were dropping the PDF target to avoid breaking it. Now > if I understand correctly you are saying the XML file actually *is* > suitable

Re: Re: [PATCH] Remove pdf target from Makefiles

2013-06-18 Thread Jonathan Nieder
Thomas Ackermann wrote: >> 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? > > This would be even worse when we have to create different xml depen