diff options
| author | danicampora <daniel@wipy.io> | 2015-10-14 12:32:01 +0200 |
|---|---|---|
| committer | danicampora <daniel@wipy.io> | 2015-10-17 23:29:04 +0200 |
| commit | 4542643025c77a7272bde348b89d5039aea28d23 (patch) | |
| tree | bf9fb006f46b96d2ea9ecf4aa190c4e4cc2abfc8 /docs/conf.py | |
| parent | fca3308cc376f2c1c66fa3cef82e30c55c9acca2 (diff) | |
| download | micropython-4542643025c77a7272bde348b89d5039aea28d23.tar.gz micropython-4542643025c77a7272bde348b89d5039aea28d23.zip | |
docs: Update all WiPy docs to reflect the new API.
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' |