Files
manuals/.gitignore