Index: libstxxl-1.3.1/Doxyfile
===================================================================
--- libstxxl-1.3.1.orig/Doxyfile	2011-03-09 12:17:15.000000000 +0000
+++ libstxxl-1.3.1/Doxyfile	2013-08-29 14:58:34.146513014 +0000
@@ -1593,7 +1593,7 @@
 # generated by dot. Possible values are png, jpg, or gif
 # If left blank png will be used.
 
-DOT_IMAGE_FORMAT       = png
+DOT_IMAGE_FORMAT       = svg
 
 # The tag DOT_PATH can be used to specify the path where the dot tool can be
 # found. If left blank, it is assumed the dot tool can be found in the path.