Lee Worden - 2012-09-28

Maybe the best way is to go forward, not backward, and get the machine-generated project makefiles in place, because they will fix this - each project's makefile will record its list of source files, making them available no matter which wiki you start from.

But what about in the meantime? Maybe put in a workaround where it uses *.mk only in the case that the project seems to have no source files? (or actually detect when we switch to a different wiki's directory tree)