diff options
| author | jfbu <jfbu@free.fr> | 2018-03-11 09:08:21 +0100 |
|---|---|---|
| committer | jfbu <jfbu@free.fr> | 2018-03-11 09:08:21 +0100 |
| commit | 90dfce536755c054483ebc093d34f4041ab7a8b5 (patch) | |
| tree | ce92abb3f0bb278e32b112ad741520232b02a7a4 /sphinx/builders/devhelp.py | |
| parent | e4fd16af9f8248215410fd6acfe3ee5b1d490478 (diff) | |
| download | sphinx-git-90dfce536755c054483ebc093d34f4041ab7a8b5.tar.gz | |
Fix #4727: Option clash for package textcomp
Some packages loaded from user customized 'fontpkg' key may load
textcomp with no option, clashing with sphinx.sty which comes later
and wants it with "warn" option. This makes sure textcomp receives
always "warn" option, even if loaded prior to sphinx.
modified: CHANGES
modified: sphinx/templates/latex/latex.tex_t
modified: sphinx/texinputs/sphinx.sty
Diffstat (limited to 'sphinx/builders/devhelp.py')
0 files changed, 0 insertions, 0 deletions