Publication list
'.$ancor.' ';
}
}
foreach ($files as $file)
{
if (substr($file, -5)=='.html')
{
echo '
';
$ancor = strtoupper(substr($file, 0, -5));
echo '';
$mtime = filemtime($file)+3600+3600;
echo ''.gmdate('Y-m-d H:i:s', $mtime).'
';
$text=file_get_contents($file);
# strip bad tags
$text=strip_tags($text, '