Check building docs with CI too

eldruin suggested to add doc generation to CI
(#322 (comment))
which seems a great idea to me.

Author: sirhcel

.github/workflows/ci.yml

@@ -32,6 +32,19 @@ jobs:
         working-directory: src/${{ matrix.chapter }}
         run: cargo build
 
+  # Check a build succeeds for docs.
+  build-doc:
+    runs-on: ubuntu-20.04
+    steps:
+      - uses: actions/checkout@v2
+      - uses: actions-rs/toolchain@v1
+        with:
+          profile: minimal
+          toolchain: stable
+          target: thumbv7em-none-eabihf
+      - name: Build docs
+        run: cargo doc
+
   # Build the book HTML itself and optionally publish it.
   build-book:
     runs-on: ubuntu-20.04