mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
Ignore the docs build directory.
This commit is contained in:
parent
41e5b2c3c2
commit
d3b447c203
@ -83,7 +83,9 @@ if __name__ == '__main__':
|
||||
if len(sys.argv) > 2 and sys.argv[2] == 'docs':
|
||||
docs = True
|
||||
|
||||
for root, dir, files in os.walk(path):
|
||||
for root, subdirs, files in os.walk(path):
|
||||
if '_build' in subdirs:
|
||||
subdirs.remove('_build')
|
||||
for f in files:
|
||||
path = join(root, f)
|
||||
if docs:
|
||||
|
Loading…
Reference in New Issue
Block a user