Searched refs:compile_header (Results 1 – 1 of 1) sorted by relevance
436 function compile_header($base, $dest, $all_files) { function in config_plugin_texit533 $this->compile_header($base, $destfn, $this->all_files);