| pre-html.cpp | 419 int run_output_filter(int device_format_selector, int argc, char *argv[]); 1281 int char_buffer::run_output_filter(int filter, int /* argc */, char **argv) function in class:char_buffer 1464 return run_output_filter(HTML_OUTPUT_FILTER, argc, argv); 1501 return run_output_filter(IMAGE_OUTPUT_FILTER, argc, argv);
|