From c8537744bbab4297ce0b335b80c1907e9717123e Mon Sep 17 00:00:00 2001 From: Erik Faye-Lund Date: Thu, 2 Jul 2020 13:24:06 +0200 Subject: [PATCH] docs: use svg for graphviz output This works a lot better on hidpi screens. Reviewed-by: Eric Engestrom Part-of: --- docs/conf.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/docs/conf.py b/docs/conf.py index 5661fe0e0ae..0037037e4ae 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -182,3 +182,7 @@ texinfo_documents = [ author, 'TheMesa3DGraphicsLibrary', 'One line description of project.', 'Miscellaneous'), ] + +# -- Options for Graphviz ------------------------------------------------- + +graphviz_output_format = 'svg' -- 2.30.2