Ignore PDF version of documentation