ignore useless auxiliary files for documentation