<?php

$this->appendLink ("Binary Package Policy", "packagepolicy.php");
$this->appendLink ("Distributions with KDE", "distributions.php");
$this->appendLink ("KDE on CD-ROM", "cdrom.php");

?>