Up to [LON-CAPA] / doc / help
Request diff between arbitrary revisions
Keyword substitution: kv
Default branch: MAIN
Current tag: version_0_6_2
Responsibility for determine whether a file should be re-built now lies with the Makefile, which is better at that sort of thing then a naive "Does the file already exist?" question.