diff options
| author | Jacob Mason <jacoblmason@gmail.com> | 2010-08-08 15:39:56 -0500 |
|---|---|---|
| committer | Jacob Mason <jacoblmason@gmail.com> | 2010-08-08 15:39:56 -0500 |
| commit | ed33f6866dc6b667300a661842c592cfbb57f629 (patch) | |
| tree | 6f027f1f139233f6d8bb82248775d141a3d16ae0 /sphinx/writers/websupport.py | |
| parent | 77b4c107cffcd54e4b9cc9ffd77cacf9861a917d (diff) | |
| download | sphinx-git-ed33f6866dc6b667300a661842c592cfbb57f629.tar.gz | |
only provide pygments.css, update image locations.
Diffstat (limited to 'sphinx/writers/websupport.py')
| -rw-r--r-- | sphinx/writers/websupport.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sphinx/writers/websupport.py b/sphinx/writers/websupport.py index 63281f182..688fdbeaf 100644 --- a/sphinx/writers/websupport.py +++ b/sphinx/writers/websupport.py @@ -62,4 +62,7 @@ class WebSupportTranslator(HTMLTranslator): line=node.line, source=node.rawsource, treeloc='???') + if db_node_id == 30711: + import pdb + pdb.set_trace() return db_node_id |