diff --git a/doc/.gitignore b/doc/.gitignore index 2cb6f5896..801e06728 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -10,6 +10,7 @@ Guidebook.dat Guidebook.aux Guidebook.dvi Guidebook.log +Guidebook.out Guidebook.pdf Guidebook.ps Guidebook.dated.*