rm doc/, now part of man/