Publish our crates documentation (rust-lang#1994)

Co-authored-by: Adrian Palacios <[email protected]>

Author: celinval

docs/src/SUMMARY.md

@@ -34,3 +34,5 @@
     - [Intrinsics](./rust-feature-support/intrinsics.md)
     - [Unstable features](./rust-feature-support/unstable.md)
   - [Overrides](./overrides.md)
+
+- [Crates Documentation](./crates/index.md)

docs/src/crates/index.md

@@ -0,0 +1,14 @@
+# Crates documentation
+
+Kani currently ships with a couple crates that provide APIs to allow users to
+write and configure their harnesses.
+These APIs are tightly coupled with each Kani version, so they are not
+published yet at <crates.io>.
+
+You can find their latest documentation here:
+  - [kani](https://model-checking.github.io/kani/crates/kani): This crate
+  provide APIs to write Kani harnesses.
+  - [kani_macros](https://model-checking.github.io/kani/crates/kani_macros):
+  This crate provides `proc_macro` definitions that allow users to configure their
+  harnesses using function attributes.
+

scripts/build-docs.sh

@@ -65,4 +65,8 @@ $SCRIPT_DIR/mdbook build -d $KANI_DIR/docs/book/rfc
 # doc tests is in README.md. We don't run them here because
 # that would cause CI to run these tests twice.
 
+echo "Building rustdocs..."
+cd $KANI_DIR
+cargo doc -p kani -p kani_macros --no-deps --target-dir docs/book/crates
+
 echo "Finished documentation build successfully."