pass, plugins/map is then updated, because it depends on plugins/brokenlinks.
(Of course, this is just a special case of the issue that a real
modification to plugins/brokenlinks causes an unnecessary update of plugins/map,
- because we have only one kind of dependency.)
+ because we have [[only_one_kind_of_dependency|todo/dependency_types]].)
--[[Joey]]