|
From: | Atte André Jensen |
Subject: | xdvi watch |
Date: | Sat, 20 Dec 2003 10:28:20 +0100 |
User-agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.5) Gecko/20031107 Debian/1.5-3 |
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
[Prev in Thread] | Current Thread | [Next in Thread] |