qf/quakeforge
0
0
Fork 0
mirror of https://git.code.sf.net/p/quake/quakeforge synced 2025-06-02 09:31:12 +00:00
Code Issues Projects Releases Packages Wiki Activity

Switch to SVG images for docs.

Browse source 
Doxygen 1.7.3 added support for SVG output from dot, so let's use it.
This commit is contained in:
Jeff Teunissen 2011-07-25 16:56:27 -04:00
parent 6fad9bc777
commit 5ef92009f0
3 changed files with 9 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
doc/doxygen.css
View file

@ -257,6 +257,12 @@ div.center img {
background-color: #bec3d9; background-color: #bec3d9;
} }
div.center iframe {
border: 2px solid #737b9c;
margin: 10px 2px;
background-color: #bec3d9;
}
address.footer { address.footer {
text-align: right; text-align: right;
padding-right: 12px; padding-right: 12px;

4
doc/quakeforge.dox.in
View file

@ -1389,7 +1389,7 @@ DOT_NUM_THREADS = 0
# DOTFONTPATH environment variable or by setting DOT_FONTPATH to the directory # DOTFONTPATH environment variable or by setting DOT_FONTPATH to the directory
# containing the font. # containing the font.
DOT_FONTNAME = FreeSans.ttf DOT_FONTNAME = Arial
# The DOT_FONTSIZE tag can be used to set the size of the font of dot graphs. # The DOT_FONTSIZE tag can be used to set the size of the font of dot graphs.
# The default size is 10pt. # The default size is 10pt.
@ -1479,7 +1479,7 @@ DIRECTORY_GRAPH = NO
# generated by dot. Possible values are png, jpg, or gif # generated by dot. Possible values are png, jpg, or gif
# If left blank png will be used. # 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 # 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. # found. If left blank, it is assumed the dot tool can be found in the path.

2
ruamoko/Doxyfile.in
View file

@ -1443,7 +1443,7 @@ DIRECTORY_GRAPH = NO
# generated by dot. Possible values are png, jpg, or gif # generated by dot. Possible values are png, jpg, or gif
# If left blank png will be used. # 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 # 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. # found. If left blank, it is assumed the dot tool can be found in the path.