I think it used to be so that xdvi "watched" the dvi file (automatically refreashed when a new file was produced), but now it doesn't anymore. How do I get get that feature back??
-- peace, love & harmony Atte
http://www.atte.dk
_______________________________________________ Lilypond-user mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/lilypond-user
