diff options
author | Ville Skyttä <ville.skytta@iki.fi> | 2018-06-12 23:45:23 +0300 |
---|---|---|
committer | Claudiu Popa <pcmanticore@gmail.com> | 2018-06-13 09:12:41 +0200 |
commit | 7f07744de8da529f4e3e9ae21db4f1ff79368fe0 (patch) | |
tree | bcd62004c8085c637ba9cc9135c375a99a4842a9 /doc/Makefile | |
parent | a9aef1321b599e2cd4110b2c72e7f62f55c084aa (diff) | |
download | pylint-git-7f07744de8da529f4e3e9ae21db4f1ff79368fe0.tar.gz |
Generate example pylintrc and man page with /dev/null pylintrc
To avoid e.g. user pylintrc affecting the output.
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index 203bc56b6..95df02f52 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -153,10 +153,10 @@ features.rst: $(shell find ../pylint/checkers -type f -regex '.*\.py') gen-examples: chmod u+w ../examples/pylintrc - pylint --generate-rcfile > ../examples/pylintrc + pylint --rcfile=/dev/null --generate-rcfile > ../examples/pylintrc gen-man: chmod u+w ../man/pylint.1 - pylint --generate-man > ../man/pylint.1 + pylint --rcfile=/dev/null --generate-man > ../man/pylint.1 all: html gen-man gen-examples |