406    $base = $this->get_base_header_fn();
407    if (!$base) {
410    $result[$base] = array('type' => 'header', 'fn' => $this->get_dest_header_fn());
411    $base = $this->get_base_commands_fn();
412    if (!$base) {
415    $result[$base] = array('type' => 'commands', 'fn' => $this->get_dest_commands_fn());
436   function compile_header($base, $dest, $all_files) {  argument
438     $this->simple_copy($base, $dest);
476   function compile_tex($base, $dest) {  argument
485     $this->texit_render_obj->process($base, $dest);
494   function simple_copy($base, $dest) {  argument
495     if (!copy($base, $dest)) {
496       nice_die("TeXit: unable to copy $base into $dest.");
505   function _needs_update($base, $dest) {  argument
509     return filemtime($base) > filemtime($dest);
527     foreach($this->all_files as $base => $dest) {
529       if ($this->_needs_update($base, $destfn)) {
533             $this->compile_header($base, $destfn, $this->all_files);
536             $this->simple_copy($base, $destfn);
539             $this->simple_copy($base, $destfn);
542             $this->simple_copy($base, $destfn);
545             $this->compile_tex($base, $destfn);
627     foreach($this->all_files as $base => $dest) {