diff options
| author | Georg Brandl <georg@python.org> | 2010-01-08 18:54:41 +0100 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2010-01-08 18:54:41 +0100 |
| commit | 25d1dff2d40ebee23e4e00956e621f13208adf1d (patch) | |
| tree | 153beb05b9755c92ff0228ffebb0a59c11c7d2dc /sphinx/domains/python.py | |
| parent | bd4d896b061f05c60145b4399198c8e02e58c4ab (diff) | |
| download | sphinx-25d1dff2d40ebee23e4e00956e621f13208adf1d.tar.gz | |
Add some XXXes... sigh.
Diffstat (limited to 'sphinx/domains/python.py')
| -rw-r--r-- | sphinx/domains/python.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sphinx/domains/python.py b/sphinx/domains/python.py index 1540f90b..46b93898 100644 --- a/sphinx/domains/python.py +++ b/sphinx/domains/python.py @@ -327,6 +327,7 @@ class PyModule(Directive): targetnode = nodes.target('', '', ids=['module-' + modname], ismod=True) self.state.document.note_explicit_target(targetnode) ret = [modulenode, targetnode] + # XXX this behavior of the module directive is a mess... if 'platform' in self.options: platform = self.options['platform'] modulenode['platform'] = platform |
