diff --git a/.gitignore b/.gitignore index 01cbbd8..641846e 100644 --- a/.gitignore +++ b/.gitignore @@ -14,6 +14,7 @@ *.fot *.cb *.cb2 +*.ist .*.lb ## Intermediate documents: