Ignore manual/ directory made by admin/make-manuals

diff --git a/.gitignore b/.gitignore
index 78557a5e8765644a3c73aeaaf6bb893329b9ccd5..3e84de3ecfac9a420720c0ea2851f41e378119b4 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -320,3 +320,6 @@ lib-src/seccomp-filter-exec.pfc
 
 # gsettings schema
 /etc/*.gschema.valid
+
+# Ignore directory made by admin/make-manuals.
+manual/