getRecentDocs(); header('Content-Type: application/rss+xml'); ?> /-\ pile https://pile.sdbs.cz A pile of interesting documents. <?= $doc['Title'] ?> https://pile.sdbs.cz/?item=