doc/manual: Remove gitignore file in otherwise empty directory.