diff --git a/.gitignore b/.gitignore
index 73c2cef2..843c7502 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,3 +4,4 @@
 /target
 doc/messages.md
 perf.*
+inst