735 |
|
|
736 |
let remove_files () = |
let remove_files () = |
737 |
if !!html_mods_vd_gfx_remove then really_remove_files () |
if !!html_mods_vd_gfx_remove then really_remove_files () |
738 |
|
|
739 |
|
let png_version_num () = |
740 |
|
begin |
741 |
|
try |
742 |
|
let s = Int32.to_string(Gd.png_version ()) in |
743 |
|
let len = String.length s in |
744 |
|
let major_version = String.sub s 0 1 in |
745 |
|
let minor_version = String.sub s 1 2 in |
746 |
|
let release_version = String.sub s 3 (len-3) in |
747 |
|
Printf.sprintf "%ld.%ld.%ld" |
748 |
|
(Int32.of_string(major_version)) |
749 |
|
(Int32.of_string(minor_version)) |
750 |
|
(Int32.of_string(release_version)) |
751 |
|
with e -> "" |
752 |
|
end |