Move modules.txt into the documentation directory.