1547 |
(if Autoconf.has_gd then [ |
(if Autoconf.has_gd then [ |
1548 |
strings_of_option html_mods_vd_gfx_remove; |
strings_of_option html_mods_vd_gfx_remove; |
1549 |
strings_of_option html_mods_vd_gfx_split; |
strings_of_option html_mods_vd_gfx_split; |
1550 |
|
strings_of_option html_mods_vd_gfx_stack; |
1551 |
strings_of_option html_mods_vd_gfx_fill; |
strings_of_option html_mods_vd_gfx_fill; |
1552 |
strings_of_option html_mods_vd_gfx_flip; |
strings_of_option html_mods_vd_gfx_flip; |
1553 |
strings_of_option html_mods_vd_gfx_mean; |
strings_of_option html_mods_vd_gfx_mean; |