diff --git a/.circleci/config.yml b/.circleci/config.yml
index 3f9c638cf..cddce0607 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -36,6 +36,9 @@ jobs:
       - run:
           name: markdown toc
           command: just lint-specs-toc-check
+      - run:
+          name: build book
+          command: just build
   lint-links:
     machine:
       image: <<pipeline.parameters.base_image>>
diff --git a/Justfile b/Justfile
index 927baaee2..95b0b5e90 100644
--- a/Justfile
+++ b/Justfile
@@ -36,6 +36,9 @@ lint-links:
     		--exclude twitter.com --exclude explorer.optimism.io --exclude linux-mips.org --exclude vitalik.ca \
     		--exclude-mail /input/README.md "/input/specs/**/*.md"
 
+build:
+    mdbook build
+
 # Serves the mdbook locally
 serve *args='':
     mdbook serve $@