.gitignore: ignore *.3 files as well

diff --git a/.gitignore b/.gitignore
index a606d2457c24417222293cb02f119e4806790943..238cf6020a190bc9559437eb0288fcb6a6b826d6 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -26,6 +26,7 @@
 /config.*
 /version.h
 /doc/*.1
+/doc/*.3
 /doc/*.html
 /doc/*.pod
 /doc/avoptions_codec.texi