diff options
author | Daniel Neuhäuser <ich@danielneuhaeuser.de> | 2010-08-11 14:23:58 +0200 |
---|---|---|
committer | Daniel Neuhäuser <ich@danielneuhaeuser.de> | 2010-08-11 14:23:58 +0200 |
commit | 1d4c7d4fe01bc768ebb0bfc9765f58a86dcc74c6 (patch) | |
tree | 8da3846b879af3aade139942bf8183f6e9a2bb6e /sphinx/writers/websupport.py | |
parent | 4a2a6a7eab051ae5b44c15243acc4d142b984874 (diff) | |
download | sphinx-git-1d4c7d4fe01bc768ebb0bfc9765f58a86dcc74c6.tar.gz |
Added initial versioning support
Diffstat (limited to 'sphinx/writers/websupport.py')
-rw-r--r-- | sphinx/writers/websupport.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sphinx/writers/websupport.py b/sphinx/writers/websupport.py index 05bc2c8b3..306cfd869 100644 --- a/sphinx/writers/websupport.py +++ b/sphinx/writers/websupport.py @@ -55,7 +55,8 @@ class WebSupportTranslator(HTMLTranslator): def add_db_node(self, node): storage = self.builder.app.storage - db_node_id = storage.add_node(document=self.builder.cur_docname, + db_node_id = storage.add_node(id=node.uid, + document=self.builder.cur_docname, line=node.line, source=node.rawsource or node.astext()) return db_node_id |