Add help tags to gitignore

We don't need to track them in VCS, because they are generated by most
plugin managers automatically.

Author: vimpostor

.github/CONTRIBUTING.md

@@ -10,7 +10,7 @@ Code contributions are much welcomed and appreciated.
 Here are a few guidelines to help you get started:
 
 ### Code Guidelines
-- If you add a new option, document it in the vim help file. Documenting it in the [README](/README.md) is NOT sufficient (and not even needed for most options). Take a look at [the existing helpfile](/doc/tpipeline.txt) and document in a similar style. You can generate a help tag later with [scripts/gen-helptags.sh](/scripts/gen-helptags.sh)
+- If you add a new option, document it in the vim help file. Documenting it in the [README](/README.md) is NOT sufficient (and not even needed for most options). Take a look at [the existing helpfile](/doc/tpipeline.txt) and document in a similar style.
 - Never change basic vim options (for example `:h fillchars`) just because they make more sense for you. Plugins should never overwrite unrelated settings
 - Only add comments if they bring extra info to the table, don't just reiterate obvious code
 - Often good variable names are much more worth than comments

.github/workflows/ci.yml

@@ -7,8 +7,6 @@ jobs:
     - uses: actions/checkout@v3
     - name: Build the Docker image
       run: docker build -t vim-tpipeline -f tests/Dockerfile .
-    - name: Check help tags
-      run: docker run -w /tmp/vim-tpipeline -t vim-tpipeline scripts/check-helptags.sh
     - name: Run tests with vim
       run: docker run -t vim-tpipeline make tests_vim
     - name: Run tests with neovim

.gitignore

@@ -1,2 +1,3 @@
 *.swp
 *.log
+/doc/tags