[Projects] XRM 89: Add a missing channel in the doc.

https://svn.lrde.epita.fr/svn/xrm/trunk Index: ChangeLog from SIGOURE Benoit <sigoure.benoit(a)lrde.epita.fr> Add a missing channel in the doc. * doc/user-guide.txt (install with Nix): Add the nixpkgs channel. user-guide.txt | 1 + 1 file changed, 1 insertion(+) Index: doc/user-guide.txt --- doc/user-guide.txt (revision 88) +++ doc/user-guide.txt (working copy) @@ -58,6 +58,7 @@ /!\ Download nix-X.YYpreZZZZ not nixpkgs-X.YYpreZZZZ. Once Nix is installed, use the following commands (you might need to be root depending on how you installed nix): + $ nix-channel --add http://nix.cs.uu.nl/dist/nix/channels-v3/nixpkgs-unstable $ nix-channel --add http://nix.cs.uu.nl/dist/stratego/channels-v3/strategoxt-unstable $ nix-channel --update $ nix-env --install aterm sdf2-bundle strategoxt