s/machine/system

It was annoying me.

1 files changed, 11 insertions, 11 deletions

diff --git a/docs/hcl/index.html b/docs/hcl/index.html
index de3c4da..11350cd 100644
--- a/docs/hcl/index.html
+++ b/docs/hcl/index.html
@@ -32,7 +32,7 @@
 		<h2 id="supported_list">List of supported hardware</h2>
 
 			<p>
-				Libreboot supports the following machines in this release:
+				Libreboot supports the following systems in this release:
 			</p>
 				<ul>
 					<li><a href="kfsn4-dre.html">ASUS KFSN4-DRE server/workstation board</a></li>
@@ -48,13 +48,13 @@
 				</ul>
 
 			<p>
-				'Supported' means that the build scripts know how to build ROM images for these machines,
-				and that the machines have been tested (confirmed working). There may be exceptions; 
-				in other words, this is a list of 'officially' supported machines.
+				'Supported' means that the build scripts know how to build ROM images for these systems,
+				and that the systems have been tested (confirmed working). There may be exceptions; 
+				in other words, this is a list of 'officially' supported systems.
 			</p>
 
 			<p>
-				It is also possible to build ROM images (from source) for other machines (and virtual machines, e.g. QEMU).
+				It is also possible to build ROM images (from source) for other systems (and virtual systems, e.g. QEMU).
 			</p>
 
 			<p><a href="#pagetop">Back to top of page</a></p>
@@ -107,7 +107,7 @@
 
 			<p>
 				The X60 typically comes with an Intel wifi chipset which does not work at all without proprietary firmware, and while Lenovo BIOS is running
-				the machine will refuse to boot if you replace the card. Fortunately it is very easily replaced;
+				the system will refuse to boot if you replace the card. Fortunately it is very easily replaced;
 				just remove the card and install another one <b>after</b> libreboot is installed. See <a href="#recommended_wifi">#recommended_wifi</a> for replacements.
 			</p>
 
@@ -160,7 +160,7 @@
 
 			<p>
 				The X60 Tablet typically comes with an Intel wifi chipset which does not work at all without proprietary firmware, and while Lenovo BIOS is running
-				the machine will refuse to boot if you replace the card. Fortunately it is very easily replaced;
+				the system will refuse to boot if you replace the card. Fortunately it is very easily replaced;
 				just remove the card and install another one <b>after</b> libreboot is installed. See <a href="#recommended_wifi">#recommended_wifi</a> for replacements.
 			</p>
 
@@ -299,7 +299,7 @@ EndSection
 
 			<p>
 				The T60 typically comes with an Intel wifi chipset which does not work at all without proprietary firmware, and while Lenovo BIOS is running
-				the machine will refuse to boot if you replace the card. Fortunately it is very easily replaced;
+				the system will refuse to boot if you replace the card. Fortunately it is very easily replaced;
 				just remove the card and install another one <b>after</b> libreboot is installed. See <a href="#recommended_wifi">#recommended_wifi</a> for replacements.
 			</p>
 
@@ -409,7 +409,7 @@ EndSection
 			</p>
 
 			<p>
-				No method is yet known for flashing in GNU/Linux while the Apple firmware is running. You will need to disassemble the machine and flash externally.
+				No method is yet known for flashing in GNU/Linux while the Apple firmware is running. You will need to disassemble the system and flash externally.
 				Reading from flash seems to work. For external flashing, refer to <a href="../install/bbb_setup.html">../install/bbb_setup.html</a>.
 			</p>
 
@@ -517,7 +517,7 @@ EndSection
 			</p>
 
 			<p>
-				There are some issues with this machine (compared to other computers that libreboot supports):
+				There are some issues with this system (compared to other computers that libreboot supports):
 			</p>
 
 			<p>
@@ -527,7 +527,7 @@ EndSection
 			</p>
 
 			<p>
-				The machine does get a bit hotter compared to when running the original firmware. It is certainly hotter
+				The system does get a bit hotter compared to when running the original firmware. It is certainly hotter
 				than an X60/T60. The heat issues have been partially fixed by the following patch (now merged in libreboot):
 				<a href="http://review.coreboot.org/#/c/7923/">http://review.coreboot.org/#/c/7923/</a>.
 			</p>