mailing-list for TeXmacs Users

[Sam Liddicott <address@hidden>]

I have been using this in my "make docs" target:

texmacs -c $(FILE).tm $(FILE).pdf -x '(print-to-file "file:$(FILE).pdf") (generate-all-aux) (update-current-buffer) (print-to-file "file:$(FILE).pdf") (generate-all-aux) (update-current-buffer) (style-clear-cache) (style-clear-cache) (print-to-file "file://$(PWD)/$(FILE).pdf")' -q

I haven't tried it lately but it was working as well as it could, which was not great as it was not updating some references before printing.

Sam

On Thu, Jun 6, 2013 at 9:34 AM, François Poulain <address@hidden> wrote:

Le Thu, 6 Jun 2013 10:27:03 +0200,
Miguel de Benito Delgado <address@hidden> a écrit :

> I'm sorry I cannot look into the problem any further. Maybe someone
> else?

AFAIK it might be due to some recent changes made by Massimiliano.

François

--
François Poulain <address@hidden>