Just an idea: Couldn't we just use 'make' to figure out all this dependencies? So a 'view dvi' could be something like writing a Makefile and spawning an external 'make dvi'?
Currently we are more or less trying to re-implement what make does (and fail so far...) Andre' -- Those who desire to give up Freedom in order to gain Security, will not have, nor do they deserve, either one. (T. Jefferson)
