diff options
author | Florian Sowade <f.sowade@r9e.de> | 2017-02-15 14:24:42 +0100 |
---|---|---|
committer | Vadim Misbakh-Soloviov <mva@gentoo.org> | 2021-02-07 07:28:46 +0700 |
commit | 762f31ff620eb822ae4ca43c5dc2a62ca621f5fe (patch) | |
tree | c8eb2986447431402241623407935c89c759d45f | |
parent | env and bashrc would benefit from ft=ebuild (diff) | |
download | gentoo-syntax-762f31ff620eb822ae4ca43c5dc2a62ca621f5fe.tar.gz gentoo-syntax-762f31ff620eb822ae4ca43c5dc2a62ca621f5fe.tar.bz2 gentoo-syntax-762f31ff620eb822ae4ca43c5dc2a62ca621f5fe.zip |
add tags file to gitignore
I use this plugin directly from the git repository without running make install. Generating the helptags for this plugin produces the file /doc/tags so I have local changes after generating the help tags. Adding the file to gitignore fixes the problem.
Signed-off-by: Florian Sowade <f.sowade@r9e.de>
Signed-off-by: Vadim Misbakh-Soloviov <mva@gentoo.org>
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..c488e6a --- /dev/null +++ b/.gitignore @@ -0,0 +1,2 @@ +# Copyright 2017-2020 Gentoo Authors +/doc/tags |