used PNG instead of GIF
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Wed, 26 Oct 2005 13:07:30 +0000 (13:07 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Wed, 26 Oct 2005 13:07:30 +0000 (13:07 +0000)
[r6814]

libfirm.doxygen.in

index c2810e0..49b25c0 100644 (file)
@@ -835,7 +835,7 @@ GRAPHICAL_HIERARCHY    = YES
 # generated by dot. Possible values are gif, jpg, and png
 # If left blank gif will be used.
 
-DOT_IMAGE_FORMAT       = gif
+DOT_IMAGE_FORMAT       = png
 
 # 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 on the path.