From bdd0b071bed56c681a3fa5affa0ab12dc520f563 Mon Sep 17 00:00:00 2001
From: Lars Ingebrigtsen <larsi@gnus.org>
Date: Wed, 29 Dec 2021 16:06:50 +0100
Subject: [PATCH] Ignore manual/ directory made by admin/make-manuals

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index 78557a5e876..3e84de3ecfa 100644
--- 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/
-- 
2.39.2