<?php
/**
*                                                          
* @name    Pindorama Core Configuration                    
* @version 0.1
* @author  Guilherme Capilé <hide@address.com>           
*                                                          
*/
/*    $pcom["start.pin_menu"]="/start";
    */
/**
*                                                          
* @name        pin_menu
* @deprecated  
* @version     0.11
*
* @author      Guilherme Capilé <hide@address.com>
*
* @global      $arg
* @global      $param
* @global      $c
* 
* @see         pin_output_header()
* @see         pin_xsl_process()
*
* @return      
*/
function pin_menu()
{
    global $arg, $param, $c;
    $param["title"] = "Pindorama";
    pin_output_header ($param["script-name"], FALSE, "php");
    echo pin_xsl_process ("index:sitemap", $c["stylesheets"]."dav/start.xsl");
} // preview_sitemap

?>