git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [PATCH] Remove pdf target from Makefiles

From
Jonathan Nieder <jrnieder@gmail.com>
Date
Jun 18, 2013, 04:34 UTC
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

Previous: Thomas Ackermann
Message 2 of 2 in “Remove pdf target from Makefiles”
  1. Remove pdf target from MakefilesThomas Ackermann, Jun 17, 2013
  2. Jonathan NiederJun 18, 2013

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.