Sure, I thought that would probably be better. But what precisely is the correct incantation?

    man1.install Dir["#{share}/doc/ceylon/man/man1/*"]

Perhaps? Does `install` do a move?