diff options
author | Daniƫl van Noord <13665637+DanielNoord@users.noreply.github.com> | 2022-04-13 10:08:07 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-04-13 10:08:07 +0200 |
commit | bbb54188c4b27e2a9f403d1b9c89b371ddab0363 (patch) | |
tree | c24e11005243831dc8443550df9a5e740ec48433 /doc/Makefile | |
parent | b95bc235cbfded0ebaa48c63b5644e2e53da1dec (diff) | |
download | pylint-git-bbb54188c4b27e2a9f403d1b9c89b371ddab0363.tar.gz |
Use ``namespace`` in ``--generate-rcfile`` (#6282)
Co-authored-by: Pierre Sassoulas <pierre.sassoulas@gmail.com>
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/doc/Makefile b/doc/Makefile index 39266a91e..278eea897 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -151,13 +151,3 @@ features.rst: $(shell find ../pylint/checkers -type f -regex '.*\.py') PYTHONPATH=$(PYTHONPATH) $(PYTHON) ./exts/pylint_features.py messages: $(PYTHONPATH) $(PYTHON) ./exts/pylint_messages.py - -gen-examples: - chmod u+w ../examples/pylintrc - pylint --rcfile=/dev/null --generate-rcfile > ../examples/pylintrc - -gen-man: - chmod u+w ../man/pylint.1 - pylint --rcfile=/dev/null --generate-man > ../man/pylint.1 - -all: html gen-man gen-examples |