diff options
author | Vincent Ambo <tazjin@google.com> | 2019-08-04T21·38+0100 |
---|---|---|
committer | Vincent Ambo <github@tazj.in> | 2019-08-04T23·32+0100 |
commit | 7c41a7a8723c8bd6606c0c2f3fed3a546f1efb24 (patch) | |
tree | a02deda1f01b5b95f5794bb3e5d8f9c55a4cc11d /tools/nixery/docs/.gitignore | |
parent | 099c99b7ad4fa93d1b5c8b7bfef0416f79edad59 (diff) |
docs: Replace static page with mdBook site
Uses mdBook[1] to generate a documentation overview page instead of the previous HTML site. This makes it possible to add more elaborate documentation without having to deal with finicky markup. [1]: https://github.com/rust-lang-nursery/mdBook
Diffstat (limited to 'tools/nixery/docs/.gitignore')
-rw-r--r-- | tools/nixery/docs/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/nixery/docs/.gitignore b/tools/nixery/docs/.gitignore new file mode 100644 index 000000000000..7585238efedf --- /dev/null +++ b/tools/nixery/docs/.gitignore @@ -0,0 +1 @@ +book |