debian/html/manual_files/radar0.png
debian/html/manual_files/menu.png
debian/html/manual_files/queen0.png
debian/html/manual_files/explorer0.png
debian/html/manual_files/planet.png
debian/html/manual_files/terminal3.png
debian/html/manual_files/navinfo.png
debian/html/manual_files/title.png
debian/html/manual_files/tower0.png
debian/html/manual_files/shiplist.png
debian/html/manual_files/map1.png
debian/html/manual_files/fighter0.png
debian/html/manual_files/statistics.png
debian/html/manual_files/asteroid.png
debian/html/manual_files/sflogo.gif
debian/html/manual_files/planetlist.png

