diff options
author | Jean-François B <jfbu@free.fr> | 2017-12-11 21:45:21 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-12-11 21:45:21 +0100 |
commit | 063bc681b5ffc7a022d26993553a62bf84931b7c (patch) | |
tree | 5ec894033116badd8054b5f6c6ea12407507fa7d /sphinx/builders/htmlhelp.py | |
parent | 34634d6225a5d6d5ff4e6ffe2677973d7fc6375c (diff) | |
parent | 2bbb699b01257615855f05ad2d7864354ce3da09 (diff) | |
download | sphinx-git-063bc681b5ffc7a022d26993553a62bf84931b7c.tar.gz |
Merge pull request #4285 from jfbu/1238_PDF_emphasize-lines
Support ``:emphasize-lines:`` in PDF output (closes #1238)
Diffstat (limited to 'sphinx/builders/htmlhelp.py')
0 files changed, 0 insertions, 0 deletions