bringing docs up to date

2020-02-13 17:14:29 -08:00
parent 659cd98a1f
commit fcfa40e335
112 changed files with 869 additions and 1837 deletions
--- a/storedoc.sh
+++ b/storedoc.sh
@@ -1,5 +1,5 @@
 rm -rf target/doc
 rm -rf doc
 cargo doc --no-deps
-rsync -avzh target/doc .
+rsync -avzh target/doc . --delete