diff options
author | Christian Göttsche <cgzones@googlemail.com> | 2020-04-15 11:56:29 +0200 |
---|---|---|
committer | Jason Zaman <perfinion@gentoo.org> | 2020-08-09 19:58:44 -0700 |
commit | f8d20a01739424dae42c5ec41ff65410f0575330 (patch) | |
tree | d74641fb329c5235baa2852335153b10687e0729 /.gitignore | |
parent | Vagrantfile: remove older installed modules before "make install" (diff) | |
download | hardened-refpolicy-f8d20a01739424dae42c5ec41ff65410f0575330.tar.gz hardened-refpolicy-f8d20a01739424dae42c5ec41ff65410f0575330.tar.bz2 hardened-refpolicy-f8d20a01739424dae42c5ec41ff65410f0575330.zip |
Ignore temporary documentation file directory in git
Signed-off-by: Christian Göttsche <cgzones@googlemail.com>
Signed-off-by: Jason Zaman <perfinion@gentoo.org>
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 200bfebe4..3e8bd83aa 100644 --- a/.gitignore +++ b/.gitignore @@ -8,6 +8,7 @@ /doc/global_tunables.xml /doc/html/ /doc/policy.xml +/doc/tmp/ /file_contexts /homedir_template /net_contexts |