<?php include "@HTDOCS@/www-util/dvodist.page.php"; ?>
@ allsky.tables.20120602 : plain : title  : Title
@ ..             : dir   : dir2  : parent directory
@ CSV : dir : dir1 : directory
@ FITS : dir : dir2 : directory
