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
This commit is contained in:
Vincent Ambo 2019-08-04 22:38:51 +01:00 committed by Vincent Ambo
parent 099c99b7ad
commit 7c41a7a872
11 changed files with 97 additions and 108 deletions

2
tools/nixery/.gitattributes vendored Normal file
View file

@ -0,0 +1,2 @@
# Ignore stylesheet modifications for the book in Linguist stats
*.css linguist-detectable=false