Try to fix pdf doc generation (re #5557) [skip ci]

hvr · hvr · commit f28e6152ec06 · 2018-09-21T14:34:00.000+02:00
diff --git a/Cabal/doc/conf.py b/Cabal/doc/conf.py
@@ -115,7 +115,8 @@
 
 # The name of an image file (relative to this directory) to place at the top of
 # the title page.
-latex_logo = 'images/logo.pdf'
+#latex_logo = 'images/logo.pdf'
+latex_logo = 'images/Cabal-dark.png'
 
 # If true, show page references after internal links.
 latex_show_pagerefs = True
