diff options
| author | Damien George <damien.p.george@gmail.com> | 2014-12-21 11:21:06 +0000 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2014-12-21 11:21:06 +0000 |
| commit | 7b80d908bf5712de67fe37d33cf339781657a4a8 (patch) | |
| tree | 11bd4b0898b02894ddc9888b27d1ec97ea2b40e9 /docs/readthedocs/settings/local_settings.py | |
| parent | 9b561a7c0dda4ed5d9584d5379c5c2aaab04f28c (diff) | |
| download | micropython-7b80d908bf5712de67fe37d33cf339781657a4a8.tar.gz micropython-7b80d908bf5712de67fe37d33cf339781657a4a8.zip | |
docs: Add RTD local_settings file, to add custom templates.
Diffstat (limited to 'docs/readthedocs/settings/local_settings.py')
| -rw-r--r-- | docs/readthedocs/settings/local_settings.py | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/docs/readthedocs/settings/local_settings.py b/docs/readthedocs/settings/local_settings.py new file mode 100644 index 0000000000..8d2bac7a76 --- /dev/null +++ b/docs/readthedocs/settings/local_settings.py @@ -0,0 +1,9 @@ +import os + +# Directory that the project lives in, aka ../.. +SITE_ROOT = '/'.join(os.path.dirname(__file__).split('/')[0:-2]) + +TEMPLATE_DIRS = ( + "%s/templates/" % SITE_ROOT, # Your custom template directory, before the RTD one to override it. + "%s/readthedocs/templates/" % SITE_ROOT, # Default RTD template dir +) |