From 3642b0e0e0a0d9e7526324f4e5c7a5e1e41cdd38 Mon Sep 17 00:00:00 2001
From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Wed, 26 Oct 2005 13:07:30 +0000
Subject: [PATCH] used PNG instead of GIF

[r6814]
---
 libfirm.doxygen.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libfirm.doxygen.in b/libfirm.doxygen.in
index c2810e0a7..49b25c06f 100644
--- a/libfirm.doxygen.in
+++ b/libfirm.doxygen.in
@@ -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.
-- 
2.20.1