Thanks for this – works fine.
I've modified it a little because I use clean URLs
<?php
$pinfo=tpl_pageinfo(true);
list($page,$rest)=explode('·',$pinfo);
$page = str_replace('.txt',"",$page);
$page = str_replace('/',':',$page);
$url = DOKU_URL.$page;
echo "<a href='$url'>$url</a>" . ' ·' . $rest;
?><br />
Now there's one small thing: I use slashed as separators instead of colons – can I make the URL do that as well (i.e. the $page variable?)
Thanks again for your help.