From 7ddc8003dfcd0417d88f92892cec615d14907cf2 Mon Sep 17 00:00:00 2001 From: Marian Beermann Date: Sat, 13 May 2017 13:19:23 +0200 Subject: [PATCH] docs: use vector logo for PDF version --- docs/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/conf.py b/docs/conf.py index 784c40223..dc40f2a0c 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -208,7 +208,7 @@ # The name of an image file (relative to this directory) to place at the top of # the title page. -latex_logo = '_static/logo.png' +latex_logo = '_static/logo.pdf' # For "manual" documents, if this is true, then toplevel headings are parts, # not chapters.