diff options
author | Graham Christensen <graham@grahamc.com> | 2018-05-01 19:50:02 -0400 |
---|---|---|
committer | Graham Christensen <graham@grahamc.com> | 2018-05-01 19:50:02 -0400 |
commit | fd2dce9708ff68e8a5474d9bf691a23c52c7273e (patch) | |
tree | 65c44e492835436deef9fa942a076c40fb055c3f | |
parent | 9d4b966c4d0a29ffc898899343975498066d5eed (diff) |
nixos docs: ignore generated files
-rw-r--r-- | nixos/doc/manual/.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/nixos/doc/manual/.gitignore b/nixos/doc/manual/.gitignore new file mode 100644 index 000000000000..879282624217 --- /dev/null +++ b/nixos/doc/manual/.gitignore @@ -0,0 +1,2 @@ +generated +manual-combined.xml |