diff options
| author | Lars Ingebrigtsen <larsi@gnus.org> | 2021-12-29 16:06:50 +0100 |
|---|---|---|
| committer | Lars Ingebrigtsen <larsi@gnus.org> | 2021-12-29 16:06:50 +0100 |
| commit | bdd0b071bed56c681a3fa5affa0ab12dc520f563 (patch) | |
| tree | 96d738757ce7f0f8f24b4b89172d9a794ccc0bb0 /.gitignore | |
| parent | 918ed4904bdbb976a40b006c8874795756dce6a7 (diff) | |
| download | emacs-bdd0b071bed56c681a3fa5affa0ab12dc520f563.tar.gz | |
Ignore manual/ directory made by admin/make-manuals
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
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/ |