comparison: docs/conf.py
docs/conf.py
- changeset 19
- 2c8908994b48
- parent 18
- 05bf8226da0b
- child 20
- 29e618a65220
equal
deleted
inserted
replaced
| 18:05bf8226da0b | 19:2c8908994b48 |
|---|---|
| 118 #html_favicon = None | 118 #html_favicon = None |
| 119 | 119 |
| 120 # Add any paths that contain custom static files (such as style sheets) here, | 120 # Add any paths that contain custom static files (such as style sheets) here, |
| 121 # relative to this directory. They are copied after the builtin static files, | 121 # relative to this directory. They are copied after the builtin static files, |
| 122 # so a file named "default.css" will overwrite the builtin "default.css". | 122 # so a file named "default.css" will overwrite the builtin "default.css". |
| 123 html_static_path = ['aux_static'] | 123 #html_static_path = ['aux_static'] |
| 124 | 124 |
| 125 # If not '', a 'Last updated on:' timestamp is inserted at every page bottom, | 125 # If not '', a 'Last updated on:' timestamp is inserted at every page bottom, |
| 126 # using the given strftime format. | 126 # using the given strftime format. |
| 127 #html_last_updated_fmt = '%b %d, %Y' | 127 #html_last_updated_fmt = '%b %d, %Y' |
| 128 | 128 |
