Aha! It turns out, after a bit of failure-mode profiling, that when
[sgt/puzzles] / Makefile.doc
2004-08-16 simonJust for convenience, a docs Makefile, outside the...