Documentation: ignore *.pdf files