Is there an easy way to rebuild the PDF, every time the documents have been saved?
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 07 2023 at 20:16 UTC