diff --git a/doc/manual/introduction.xml b/doc/manual/introduction.xml
index d2f23bf44..2e32a649d 100644
--- a/doc/manual/introduction.xml
+++ b/doc/manual/introduction.xml
@@ -240,7 +240,7 @@ configuration (e.g., to build configuration files in
possible to easily roll back the entire configuration of the system to
an earlier state. Also, users can install software without root
privileges. For more information and downloads, see the NixOS homepage.
+xlink:href="http://nixos.org/">NixOS homepage.
@@ -257,14 +257,15 @@ xlink:href="http://nix.cs.uu.nl/nixos/">NixOS homepage.
About us
-Nix was developed at the Nix was originally developed at the Department of Information and
Computing Sciences, Utrecht University by the TraCE
-project. The project is funded by the Software Engineering
-Research Program (2003-2008). The project was funded by the Software
+Engineering Research Program Jacquard to improve the
-support for variability in software systems.
+support for variability in software systems. Further funding is now
+provided by the NIRICT LaQuSo Build Farm project.
@@ -299,24 +300,24 @@ Lesser General Public License for more details.
Some background information on Nix can be found in a number of
papers. The ICSE 2004 paper Imposing
+xlink:href='http://www.st.ewi.tudelft.nl/~dolstra/pubs/immdsd-icse2004-final.pdf'>Imposing
a Memory Management Discipline on Software Deployment
discusses the hashing mechanism used to ensure reliable dependency
identification and non-interference between different versions and
variants of packages. The LISA 2004 paper Nix:
+xlink:href='http://www.st.ewi.tudelft.nl/~dolstra/pubs/nspfssd-lisa2004-final.pdf'>Nix:
A Safe and Policy-Free System for Software Deployment
gives a more general discussion of Nix from a system-administration
perspective. The CBSE 2005 paper Efficient
+xlink:href='http://www.st.ewi.tudelft.nl/~dolstra/pubs/eupfcdm-cbse2005-final.pdf'>Efficient
Upgrading in a Purely Functional Component Deployment Model
is about transparent patch deployment in Nix. The SCM-12
paper
+xlink:href='http://www.st.ewi.tudelft.nl/~dolstra/pubs/servicecm-scm12-final.pdf'>
Service Configuration Management shows how services (e.g.,
web servers) can be deployed and managed through Nix. A short
overview of NixOS is given in the HotOS XI paper Purely
+xlink:href="http://www.st.ewi.tudelft.nl/~dolstra/pubs/hotos-final.pdf">Purely
Functional System Configuration Management. The Nix
homepage has an up-to-date list
@@ -328,7 +329,7 @@ Purely Functional Software Deployment Model, which
contains most of the papers listed above.Nix has a homepage at .
+xlink:href="http://nixos.org/"/>.
diff --git a/doc/manual/manual.xml b/doc/manual/manual.xml
index a5a2902a7..d564b09d8 100644
--- a/doc/manual/manual.xml
+++ b/doc/manual/manual.xml
@@ -14,8 +14,8 @@
Dolstra
- Utrecht University
- Faculty of Science, Department of Information and Computing Sciences
+ Delft University of Technology
+ Department of Software Technology
@@ -24,10 +24,11 @@
200520062007
+ 2008Eelco Dolstra
- September 2007
+ June 2008
diff --git a/doc/manual/quick-start.xml b/doc/manual/quick-start.xml
index b51f2b167..8a63f362f 100644
--- a/doc/manual/quick-start.xml
+++ b/doc/manual/quick-start.xml
@@ -11,7 +11,7 @@ to the following chapters.
Download a source tarball or RPM from . Build source
+xlink:href='http://nixos.org/'/>. Build source
distributions using the regular sequence:
@@ -33,7 +33,7 @@ file).
$ nix-channel --add \
- http://nix.cs.uu.nl/dist/nix/channels-v3/nixpkgs-unstable
+ http://nixos.org/releases/nixpkgs/channels/nixpkgs-unstable
diff --git a/doc/manual/troubleshooting.xml b/doc/manual/troubleshooting.xml
index ddff0f297..0d3a892cc 100644
--- a/doc/manual/troubleshooting.xml
+++ b/doc/manual/troubleshooting.xml
@@ -5,7 +5,7 @@
This section provides solutions for some common problems. See
-the Nix
+the Nix
bug tracker for a list of currently known issues.