Simplify file specs for devel+doc by using File /r.