we use /var/lib/dumpdates, *not* /etc/dumpdates

[debian/amanda] / man / index.php

<?php
/* send the user straight to the amanda(8) manpage */
header("Location: amanda.8.html");
exit;