which file calls tpl_index_product_list.php?

I think I might have worked it out. After rereading the thread I tried a few things and then tried this:

$flag = FALSE;
switch (TRUE) {
  // is current category 10 
  case ($current_category_id == 10):
    $flag = TRUE;
    break;
}
if ($flag == TRUE) {
$tpl_page_body = 'tpl_index_document_list.php'; 
} else { 
$tpl_page_body = 'tpl_index_product_list.php'; 
}  

This seems to work. I am no expert on these things so if this is not correct please let me know.

Thanks

In case anyone is interested I actually shortened the code as gjh42 did from this:

enochian:

$flag = FALSE;
switch (TRUE) {
// is current category 10
case ($current_category_id == 10):
$flag = TRUE;
break;
}
if ($flag == TRUE) {
$tpl_page_body = 'tpl_index_document_list.php';
} else {
$tpl_page_body = 'tpl_index_product_list.php';
}

To this:

if ($current_category_id == 10) {
$tpl_page_body = 'tpl_index_document_list.php';
} else {
$tpl_page_body = 'tpl_index_product_list.php';
}

Thanks