d113661156
- put `findlib` in `buildInputs` of `mkCoqDerivation` to make sure `coq` packages find their ocaml plugin dependencies, - use `propagatedBuildInputs` to make sure ocaml plugin dependencies are in path, - updated `coqPackage.heq` (broken url), - fixed use of `DESTDIR` and `COQMF_COQLIB` in mkCoqDerivation, - adding `COQCORELIB` environement variable to put ocaml plugin files in the right place, - make `metaFetch` available from `coqPackages` |
||
|---|---|---|
| .. | ||
| build-aux/pandoc-filters | ||
| builders | ||
| contributing | ||
| doc-support | ||
| functions | ||
| hooks | ||
| languages-frameworks | ||
| old | ||
| stdenv | ||
| using | ||
| .gitignore | ||
| default.nix | ||
| functions.xml | ||
| Makefile | ||
| manual.xml | ||
| overrides.css | ||
| preface.chapter.md | ||
| README.md | ||
| release-notes.xml | ||
| shell.nix | ||
| style.css | ||
Nixpkgs/doc
This directory houses the sources files for the Nixpkgs manual.
You can find the rendered documentation for Nixpkgs unstable on nixos.org.
Docs for Nixpkgs stable are also available.
If you want to contribute to the documentation, here's how to do it.
If you're only getting started with Nix, go to nixos.org/learn.