Its already in as a bug.

Not only do you have to run it multiple times, you can't tell when it's
reached stability and can't automate it from the command line as a batch
process.

Sam
On Aug 31, 2012 8:46 PM, "Victor Porton" <por...@narod.ru> wrote:

> Before I generate a PDF for upload to my site or arXiv, I need to update
> (Document/Update/All) the document SEVERAL TIMES.
>
> Please make something better than me clicking this menu item 5 times in a
> row.
>
> Oh, after finishing writing this letter, I decided also to make a feature
> suggestion in the bugs tracker.
>
> --
> Victor Porton - http://portonvictor.org
>
> _______________________________________________
> Texmacs-dev mailing list
> Texmacs-dev@gnu.org
> https://lists.gnu.org/mailman/listinfo/texmacs-dev
>
_______________________________________________
Texmacs-dev mailing list
Texmacs-dev@gnu.org
https://lists.gnu.org/mailman/listinfo/texmacs-dev

Reply via email to