skip file if file name isn't as expected (#5029)
This commit is contained in:
parent
ef3a3fce9f
commit
c33b3b25d4
1 changed files with 1 additions and 1 deletions
|
|
@ -237,7 +237,7 @@ class HelpDatabase(object):
|
|||
|
||||
# files not in index.txt
|
||||
for f in os.listdir(path):
|
||||
if not os.path.isdir(os.path.join(path, f)):
|
||||
if not os.path.isdir(os.path.join(path, f)) and len(f.rsplit('.', 1)) == 2:
|
||||
name, extn = f.rsplit('.', 1)
|
||||
if name not in files \
|
||||
and name != 'index' and extn in ('md', 'html'):
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue