Description: Don't use svg images when creating html docs
 Otherwise {blue,green,organge,...}ball.svg images will be used,
 although they don't exist, resulting in dead links and a slightly
 broken display in at least Firefox
Author: Carsten Leonhardt <leo@debian.org>
Last-Update: 2020-03-08

--- a/docs/.latex2html-init
+++ b/docs/.latex2html-init
@@ -5,5 +5,6 @@
 $CONTENTS_WIDTH  = 250;
 $HTML_VALIDATE = '';
 $LOCAL_ICONS = 1;
+$IMAGE_TYPE = 'png';
 
 1;
