diff options
Diffstat (limited to 'bin/make_redirects.py')
| -rwxr-xr-x | bin/make_redirects.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/make_redirects.py b/bin/make_redirects.py index 99a5ea3..ea8ea3b 100755 --- a/bin/make_redirects.py +++ b/bin/make_redirects.py @@ -24,10 +24,13 @@ def book_redirects(rs, spec_dir): for kwd, info in rs.items(): if os.path.isdir(os.path.join(spec_dir, kwd)): assert os.path.isfile(os.path.join(spec_dir, kwd, "index.md")) + assert info.get('implicit') continue elif any((os.path.isfile(os.path.join(spec_dir, kwd) + ext)) for ext in [".txt", ".md"]): + assert info.get('implicit') continue else: + assert not info.get('implicit') source = kwd + ".html" target = info['target'] lines.append( |