Fixed manuals

This fixes the issues with manuals in 1.7 as well as adding some more things to ignore to the .gitignore.