>>>>> "Andre" == Andre Poenitz <[EMAIL PROTECTED]> writes:
Andre> Just an idea: Andre> Couldn't we just use 'make' to figure out all this Andre> dependencies? So a 'view dvi' could be something like writing a Andre> Makefile and spawning an external 'make dvi'? Andre> Currently we are more or less trying to re-implement what make Andre> does (and fail so far...) Lokks like a good idea, actually. But one would have to actually implement it to know whether it actually works. And there are a lot of nasty details in there. JMarc
