pointfree.net everything must go.

regenerate latex pdf on write

    #!/bin/sh
    while inotifywait $1; do
        pdflatex $1
    done
I'm surprised that pdf readers on linux will refresh the pdf when it is modified. Zathura and Evince tested so far.
Access: (0644/-rw-r--r--) Uid: ( 1000/ andreas) Gid: ( 100/ users) Access: 2012-10-16 19:00:31.701351700 -0400 Modify: 2012-09-09 12:50:52.565671468 -0400