fuchsia-china/third_party.pylibs.pylint.src
1
0
Fork 0
mirror of https://fuchsia.googlesource.com/third_party/github.com/pylint-dev/pylint synced 2024-09-21 16:19:21 +00:00
Code Issues Actions 8 Packages Projects Releases Wiki Activity
2,939 Commits 14 Branches 203 Tags 33 MiB
1452246818
Commit Graph

2 Commits

Author SHA1 Message Date
Claudiu Popa
1452246818 Add the header for the features document. 2016-07-06 17:55:26 +01:00
Claudiu Popa
35019b87f2 Add a Sphinx hook for generating the features file of Pylint's documentation 
Currently we can generate this locally using the makefiles, but, unfortunately,
on ReadThedocs we are running only sphinx-build, which means that we have no
pre-generated features.rst file before actually building the documentation.
This commit just adds one, which does the same thing as the makefiles.
 2016-07-06 17:51:32 +01:00