When using 'make pdfdocs', auto-generated files should be ignored
Signed-off-by: Henrik Austad Cc: Randy Dunlap Signed-off-by: Andrew Morton Signed-off-by: Linus Torvalds
*.xml *.ps *.pdf *.html *.9.gz *.9 *.aux *.dvi *.log *.out
