Move the design proposals to a separate book

Fixes #3262
2019-03-14 10:15:11 -06:00
parent c1eec0290e
commit 9fac3b26ee
40 changed files with 133 additions and 44 deletions
--- a/ci/test-checks.sh
+++ b/ci/test-checks.sh
@ -15,5 +15,6 @@ _ cargo clippy --all -- --deny=warnings
 _ ci/audit.sh
 _ ci/nits.sh
 _ book/build.sh
+_ proposals/build.sh

 echo --- ok