diff options
-rw-r--r-- | Documentation/conf.py | 3 | ||||
-rwxr-xr-x | scripts/sphinx-pre-install | 1 |
2 files changed, 0 insertions, 4 deletions
diff --git a/Documentation/conf.py b/Documentation/conf.py index b986eda20a05..63857d33778c 100644 --- a/Documentation/conf.py +++ b/Documentation/conf.py @@ -277,9 +277,6 @@ latex_elements = { \\setromanfont{DejaVu Sans} \\setmonofont{DejaVu Sans Mono} - % To allow adjusting table sizes - \\usepackage{adjustbox} - ''' } diff --git a/scripts/sphinx-pre-install b/scripts/sphinx-pre-install index 677756ae34c9..067459760a7b 100755 --- a/scripts/sphinx-pre-install +++ b/scripts/sphinx-pre-install @@ -40,7 +40,6 @@ my $virtualenv = 1; # my %texlive = ( - 'adjustbox.sty' => 'texlive-adjustbox', 'amsfonts.sty' => 'texlive-amsfonts', 'amsmath.sty' => 'texlive-amsmath', 'amssymb.sty' => 'texlive-amsfonts', |