From 4cc425a0a3daa39f3e040765bef1c0019e93a6c2 Mon Sep 17 00:00:00 2001 From: Fred Drake Date: Thu, 8 Apr 2004 18:51:39 +0000 Subject: switch to PNG navigation icons by default --- Doc/tools/mkhowto | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Doc/tools/mkhowto b/Doc/tools/mkhowto index 5c1d31c..21cd6fb 100755 --- a/Doc/tools/mkhowto +++ b/Doc/tools/mkhowto @@ -18,7 +18,7 @@ HTML options: --split, -s Specify a section level for page splitting, default: %(max_split_depth)s. --iconserver, -i Specify location of icons (default: ./). --image-type Specify the image type to use in HTML output; - values: gif (default), png. + values: gif, png (default). --numeric Don't rename the HTML files; just keep node#.html for the filenames. --style Specify the CSS file to use for the output (filename, @@ -83,7 +83,7 @@ class Options: discard_temps = 1 have_temps = 0 icon_server = "." - image_type = "gif" + image_type = "png" logging = 0 max_link_depth = 3 max_split_depth = 6 -- cgit v0.12