diff options
author | Pierre Sassoulas <pierre.sassoulas@gmail.com> | 2022-05-16 11:56:11 +0200 |
---|---|---|
committer | Pierre Sassoulas <pierre.sassoulas@gmail.com> | 2022-05-16 12:21:17 +0200 |
commit | 95be3b90fc41eff8c50338625ac617883d50b42c (patch) | |
tree | 1b6705083ffd58684bb11f6fce13151fdbc7c677 /doc/Makefile | |
parent | 609b667dd9ce8310a82fd01519f053a1e7d74d50 (diff) | |
download | pylint-git-95be3b90fc41eff8c50338625ac617883d50b42c.tar.gz |
[doc] Clean all generated files in the doc's 'make clean'
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index a1bad37b9..73ab49ae5 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -37,7 +37,7 @@ help: clean: -rm -rf $(BUILDDIR)/* messages/convention messages/error messages/fatal messages/information \ - messages/refactor messages/warning + messages/refactor messages/warning technical_reference/extensions.rst technical_reference/features.rst install-dependencies: @echo "Install dependencies" |