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
