diff options
| author | Guillem Jover <guillem@debian.org> | 2013-05-28 01:27:49 +0200 |
|---|---|---|
| committer | Guillem Jover <guillem@debian.org> | 2013-06-03 06:48:34 +0200 |
| commit | 74847585583defc05ca91534346d44aff59e980b (patch) | |
| tree | 141f48b6bf8d9e352081dcb9e7effc02fa96d203 /doc | |
| parent | beaf586ede1e75f162e46cb5fbe6acf844afc5c9 (diff) | |
| download | dpkg-74847585583defc05ca91534346d44aff59e980b.tar.gz | |
doc: Switch from png to svg for graph images
This substantially reduces the image sizes.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Doxyfile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Doxyfile.in b/doc/Doxyfile.in index c3317eae0..34c2d4ce9 100644 --- a/doc/Doxyfile.in +++ b/doc/Doxyfile.in @@ -1798,7 +1798,7 @@ DIRECTORY_GRAPH = YES # HTML_FILE_EXTENSION to xhtml in order to make the SVG files # visible in IE 9+ (other browsers do not have this requirement). -DOT_IMAGE_FORMAT = png +DOT_IMAGE_FORMAT = svg # If DOT_IMAGE_FORMAT is set to svg, then this option can be set to YES to # enable generation of interactive SVG images that allow zooming and panning. |