diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-08-19 18:28:04 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2020-08-19 18:28:04 +0200 |
| commit | c8fa39324ad7a56a78f8c6f55c42f8f49dbbbf9a (patch) | |
| tree | 9b87d0ac99db4e321a7aaf233d0a43c8fc0318ea /.gitignore | |
| parent | 34b22e012350186925e513f34b1292858a81c932 (diff) | |
Generate the nix.conf docs from the source code
This means we don't have two (divergent) sets of option descriptions
anymore.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index b8028e665..44dbaa5d7 100644 --- a/.gitignore +++ b/.gitignore @@ -26,7 +26,9 @@ perl/Makefile.config /doc/manual/*.5 /doc/manual/*.8 /doc/manual/nix.json +/doc/manual/conf-file.json /doc/manual/src/command-ref/nix.md +/doc/manual/src/command-ref/conf-file.md # /scripts/ /scripts/nix-profile.sh |