diff --git a/book/src/README.md b/book/src/README.md
new file mode 100644
index 0000000..676d71c
--- /dev/null
+++ b/book/src/README.md
@@ -0,0 +1 @@
+{{#include ../../README.md}}
diff --git a/book/src/SUMMARY.md b/book/src/SUMMARY.md
index 7390c82..e743c38 100644
--- a/book/src/SUMMARY.md
+++ b/book/src/SUMMARY.md
@@ -1,3 +1,7 @@
-# Summary
+# The halo2 Book
 
-- [Chapter 1](./chapter_1.md)
+[halo2](README.md)
+- [Concepts](concepts.md)
+- [User Documentation](user.md)
+  - [Gadgets](user/gadgets.md)
+- [Design](design.md)
diff --git a/book/src/chapter_1.md b/book/src/chapter_1.md
deleted file mode 100644
index b743fda..0000000
--- a/book/src/chapter_1.md
+++ /dev/null
@@ -1 +0,0 @@
-# Chapter 1
diff --git a/book/src/concepts.md b/book/src/concepts.md
new file mode 100644
index 0000000..74d42e1
--- /dev/null
+++ b/book/src/concepts.md
@@ -0,0 +1 @@
+# Concepts
diff --git a/book/src/design.md b/book/src/design.md
new file mode 100644
index 0000000..3d14cb7
--- /dev/null
+++ b/book/src/design.md
@@ -0,0 +1 @@
+# Design
diff --git a/book/src/user.md b/book/src/user.md
new file mode 100644
index 0000000..3a51d9a
--- /dev/null
+++ b/book/src/user.md
@@ -0,0 +1 @@
+# User Documentation
diff --git a/book/src/user/gadgets.md b/book/src/user/gadgets.md
new file mode 100644
index 0000000..406e8aa
--- /dev/null
+++ b/book/src/user/gadgets.md
@@ -0,0 +1 @@
+# Gadgets