Bad name for the NixOS download page

This commit is contained in:
Khalid Jebbari 2015-01-04 18:33:30 +01:00
parent d0d880f630
commit 1d3a592ae0

View File

@ -8,7 +8,7 @@
<para>NixOS ISO images can be downloaded from the <link <para>NixOS ISO images can be downloaded from the <link
xlink:href="http://nixos.org/nixos/download.html">NixOS xlink:href="http://nixos.org/nixos/download.html">NixOS
homepage</link>. There are a number of installation options. If download page</link>. There are a number of installation options. If
you happen to have an optical drive and a spare CD, burning the you happen to have an optical drive and a spare CD, burning the
image to CD and booting from that is probably the easiest option. image to CD and booting from that is probably the easiest option.
Most people will need to prepare a USB stick to boot from. Most people will need to prepare a USB stick to boot from.
@ -27,7 +27,7 @@ running NixOS system through several other means:
<para>Using virtual appliances in Open Virtualization Format (OVF) <para>Using virtual appliances in Open Virtualization Format (OVF)
that can be imported into VirtualBox. These are available from that can be imported into VirtualBox. These are available from
the <link xlink:href="http://nixos.org/nixos/download.html">NixOS the <link xlink:href="http://nixos.org/nixos/download.html">NixOS
homepage</link>.</para> download page</link>.</para>
</listitem> </listitem>
<listitem> <listitem>
<para>Using AMIs for Amazons EC2. To find one for your region <para>Using AMIs for Amazons EC2. To find one for your region