<?php
 // retrieve list of roms
 $romarray = file('roms.list');

 echo "<table border=\"1\">\n";
 echo "<tr>\n";
 echo " <th>device</th>\n";
 echo " <th>file size</th>\n";
 echo " <th>file name</th>\n";
 echo "</tr>\n";

 while(list (,$device) = each ($romarray)) {
  $device = chop($device);
  echo " <tr>\n";
  echo "  <td rowspan=\"3\">$device</td>\n";
  echo "  <td align=\"right\">" . filesize("$device.tar.gz") . "</td>\n";
  echo "  <td><a href=\"$device.tar.gz\">$device.tar.gz (preferred download)</a></td>\n";
  echo " </tr>\n";
  echo " <tr>\n";
  echo "  <td align=\"right\">" . filesize("$device.psf") . "</td>\n";
  echo "  <td><a href=\"$device.psf\">$device.psf</a></td>\n";
  echo " </tr>\n";
  echo " <tr>\n";
  echo "  <td align=\"right\">" . filesize("$device.rom") . "</td>\n";
  echo "  <td><a href=\"$device.rom\">$device.rom</a></td>\n";
  echo " </tr>\n";
 }

 echo "</table>\n";
?>
