1380 |
strings_of_option display_downloaded_results; |
strings_of_option display_downloaded_results; |
1381 |
strings_of_option vd_reload_delay; |
strings_of_option vd_reload_delay; |
1382 |
strings_of_option html_use_gzip; |
strings_of_option html_use_gzip; |
1383 |
] @ (if Autoconf.has_gd then [ |
] @ (if Autoconf.has_gd then |
1384 |
strings_of_option html_mods_vd_gfx; |
[strings_of_option html_mods_vd_gfx;] else []) @ |
1385 |
|
(if Autoconf.has_gd_jpg && Autoconf.has_gd_png |
1386 |
|
then [strings_of_option html_mods_vd_gfx_png;] else []) @ |
1387 |
|
(if Autoconf.has_gd then [ |
1388 |
strings_of_option html_mods_vd_gfx_remove; |
strings_of_option html_mods_vd_gfx_remove; |
1389 |
strings_of_option html_mods_vd_gfx_split; |
strings_of_option html_mods_vd_gfx_split; |
1390 |
strings_of_option html_mods_vd_gfx_fill; |
strings_of_option html_mods_vd_gfx_fill; |
1391 |
strings_of_option html_mods_vd_gfx_flip; |
strings_of_option html_mods_vd_gfx_flip; |
1392 |
strings_of_option html_mods_vd_gfx_mean; |
strings_of_option html_mods_vd_gfx_mean; |
1393 |
strings_of_option html_mods_vd_gfx_transparent; |
strings_of_option html_mods_vd_gfx_transparent; |
|
strings_of_option html_mods_vd_gfx_png; |
|
1394 |
strings_of_option html_mods_vd_gfx_h; |
strings_of_option html_mods_vd_gfx_h; |
1395 |
strings_of_option html_mods_vd_gfx_x_size; |
strings_of_option html_mods_vd_gfx_x_size; |
1396 |
strings_of_option html_mods_vd_gfx_y_size; |
strings_of_option html_mods_vd_gfx_y_size; |