diff --git a/contrib/rom-o-matic/bottom.php b/contrib/rom-o-matic/bottom.php
index a6343d45..9ba8e319 100644
--- a/contrib/rom-o-matic/bottom.php
+++ b/contrib/rom-o-matic/bottom.php
@@ -1,4 +1,4 @@
-
+.
@@ -53,7 +53,7 @@ Resources:
- Please email "> echo "${webmaster_email}"?>
+ Please email ">
with questions or comments about this website.
diff --git a/contrib/rom-o-matic/customize-flags.php b/contrib/rom-o-matic/customize-flags.php
index 23090439..e283921a 100644
--- a/contrib/rom-o-matic/customize-flags.php
+++ b/contrib/rom-o-matic/customize-flags.php
@@ -34,30 +34,30 @@ include_once $top_inc;
?>
- include_once $bottom_inc; ?>
+
// For emacs:
//
diff --git a/contrib/rom-o-matic/directions.php b/contrib/rom-o-matic/directions.php
index 45323573..540121ed 100644
--- a/contrib/rom-o-matic/directions.php
+++ b/contrib/rom-o-matic/directions.php
@@ -1,4 +1,4 @@
-
+.
@@ -21,12 +21,12 @@
?>
- Choose an output format: echo keys_menubox ( "ofmt", $ofmts,
+ Choose an output format:
- Choose a NIC type: echo keys_menubox ( "nic", $nics,
+ Choose a NIC type:
@@ -40,11 +40,11 @@
here.
- PCI VENDOR CODE: echo textbox ( "pci_vendor_code",
+ PCI VENDOR CODE:
- PCI DEVICE CODE: echo textbox ( "pci_device_code",
+ PCI DEVICE CODE:
Please note for ROM images:
diff --git a/contrib/rom-o-matic/index.php b/contrib/rom-o-matic/index.php
index 12b7e1a8..26585c97 100644
--- a/contrib/rom-o-matic/index.php
+++ b/contrib/rom-o-matic/index.php
@@ -27,10 +27,10 @@ include_once $top_inc;
?>
- include_once $bottom_inc ?>
+
diff --git a/contrib/rom-o-matic/top.php b/contrib/rom-o-matic/top.php
index 25562086..42a8e2d2 100644
--- a/contrib/rom-o-matic/top.php
+++ b/contrib/rom-o-matic/top.php
@@ -1,6 +1,6 @@
-
+.
@@ -25,17 +25,17 @@
- ">
+ ">
- echo $header_title ?>
-
+
+
- echo "$html_title" ?>
+
- echo "$html_tagline" ?>
+
diff --git a/contrib/rom-o-matic/utils.php b/contrib/rom-o-matic/utils.php
index dc5bd414..e0e62f44 100644
--- a/contrib/rom-o-matic/utils.php
+++ b/contrib/rom-o-matic/utils.php
@@ -1,4 +1,4 @@
- // -*- Mode: PHP; -*-
+.
@@ -131,7 +131,8 @@ function parse_nic_file ()
if ( strpos ( $first_eight_chars, "family" ) === 0 ) {
// get pathname of NIC driver
- list ( $dummy, $nic ) = split( "[ \t]+", $line );
+ #list ( $dummy, $nic ) = split( "[ \t]+", $line );
+ list ( $dummy, $nic ) = explode("\t", $line);
settype ( $nic, "string" );
// extract filename name of driver from pathname