Robert Soeldner (Jul 23 2022 at 09:03): Robert Soeldner (Jul 23 2022 at 09:03):Is there an easy way to rebuild the PDF, every time the documents have been saved?
Wolfgang Jeltsch (Jul 24 2022 at 10:15):That’s rather an operating system question, isn’t it? :wink: I wouldn’t expect a particular application, like Isabelle, to provide such a feature itself, but instead relying on users using a general OS feature “run some code whenever a file was changed”. If you’re using Linux, the StackOverflow article How do I run a script every time I save a file in Linux? should be helpful (the incron event to use should be IN_CLOSE_WRITE, in my opinion).
Last updated: Dec 21 2024 at 16:20 UTC