support for depending on files, modification time used

Added support for depending on files, modification time used. Vignette updated accordingly.