darcs patch: Split up make target for documentation g... (and 6 more)