Minor fixes in the installer for Ubuntu 7.10

tbrehm

2007-10-24 03ade50f9f1826fbe3c21de9cc37fafb7aec8478

 install/lib/install.lib.php

@@ -66,11 +66,11 @@
   
      if(trim(file_get_contents('/etc/debian_version')) == '4.0') {
         $distname = 'debian40';
         swriteln('Operating System: Debian 4.0 or compatible');
         swriteln("Operating System: Debian 4.0 or compatible\n");
      }
      if(trim(file_get_contents('/etc/debian_version')) == 'lenny/sid') {
         $distname = 'debian40';
         swriteln('Operating System: Debian Lenny/Sid or compatible');
         swriteln("Operating System: Debian Lenny/Sid or compatible\n");
      }
   }