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