diff --git a/doc/.gitignore b/doc/.gitignore
index db9bc6e..f630fdc 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -12,3 +12,4 @@ wip/proof/.skip
 *.glo
 *.hd
 *.toc
+*.sty