diff options
Diffstat (limited to 'docs/conf.py')
| -rwxr-xr-x | docs/conf.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/conf.py b/docs/conf.py index 9f3a252578..aebf79d40f 100755 --- a/docs/conf.py +++ b/docs/conf.py @@ -300,6 +300,11 @@ html_context = { # Append the other ports' specific folders/files to the exclude pattern exclude_patterns.extend([port + '*' for port in ports if port != micropy_port]) +# Exclude pyb module if the port is the WiPy +if micropy_port == 'wipy': + exclude_patterns.append('library/pyb*') +else: # exclude machine + exclude_patterns.append('library/machine*') # Specify a custom master document based on the port name master_doc = micropy_port + '_' + 'index' |