diff options
| author | Matthias Beyer <mail@beyermatthias.de> | 2020-04-29 11:09:50 +0200 |
|---|---|---|
| committer | Matthias Beyer <mail@beyermatthias.de> | 2020-04-29 11:09:50 +0200 |
| commit | 50befbedeb9c987d78b12a5cce81b1a9ea95f535 (patch) | |
| tree | 77b15d55d81ef214f45257fb94a811cad109011c /doc/src/09010-contributing.md | |
| parent | 3b344e015c753f02f9cb033e8f0466e53b45445a (diff) | |
Replace default.nix with shell.nix
Use the ci.nix and move it to shell.nix.
With this, default.nix is no longer needed.
Docs and CI configuration is adapted.
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
Diffstat (limited to 'doc/src/09010-contributing.md')
| -rw-r--r-- | doc/src/09010-contributing.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/src/09010-contributing.md b/doc/src/09010-contributing.md index 81dce995..2a2cd082 100644 --- a/doc/src/09010-contributing.md +++ b/doc/src/09010-contributing.md @@ -25,7 +25,7 @@ The prerequisites are simple: `cargo` and `rustc` in current version (stable) or newer (we do not use nighly features though). Build dependencies for building are listed in the -[default.nix file](http://git.imag-pim.org/imag/tree/default.nix), +[shell.nix file](http://git.imag-pim.org/imag/tree/shell.nix), though you do not have to have the `nix` package manager installed to build imag. Everything else will be done by `cargo`. |