diff --git a/.gitignore b/.gitignore
index e5c18f6..6a82cbe 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,3 +14,4 @@ doc/*.xml
 doc/*/*.xml
 *.texi
 *.fo
+*.lock