[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
master bdd0b071be 2/3: Ignore manual/ directory made by admin/make-manua
|
From: |
Lars Ingebrigtsen |
|
Subject: |
master bdd0b071be 2/3: Ignore manual/ directory made by admin/make-manuals |
|
Date: |
Wed, 29 Dec 2021 10:09:42 -0500 (EST) |
branch: master
commit bdd0b071bed56c681a3fa5affa0ab12dc520f563
Author: Lars Ingebrigtsen <larsi@gnus.org>
Commit: Lars Ingebrigtsen <larsi@gnus.org>
Ignore manual/ directory made by admin/make-manuals
---
.gitignore | 3 +++
1 file changed, 3 insertions(+)
diff --git a/.gitignore b/.gitignore
index 78557a5e87..3e84de3ecf 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/