From 1d3a592ae05e3cf94e92adde97edd1e89be8f44d Mon Sep 17 00:00:00 2001 From: Khalid Jebbari Date: Sun, 4 Jan 2015 18:33:30 +0100 Subject: [PATCH] Bad name for the NixOS download page --- nixos/doc/manual/installation/obtaining.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/nixos/doc/manual/installation/obtaining.xml b/nixos/doc/manual/installation/obtaining.xml index 540f19c3201..afd6c9543f7 100644 --- a/nixos/doc/manual/installation/obtaining.xml +++ b/nixos/doc/manual/installation/obtaining.xml @@ -8,7 +8,7 @@ NixOS ISO images can be downloaded from the NixOS -homepage. There are a number of installation options. If +download page. There are a number of installation options. If 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. Most people will need to prepare a USB stick to boot from. @@ -27,7 +27,7 @@ running NixOS system through several other means: Using virtual appliances in Open Virtualization Format (OVF) that can be imported into VirtualBox. These are available from the NixOS - homepage. + download page. Using AMIs for Amazon’s EC2. To find one for your region