init mdbook

FedericoPonzi · Jun 12, 2024 · 56f245b · 56f245b
1 parent d36249b
commit 56f245b
Show file tree

Hide file tree

Showing 4 changed files with 11 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1 @@
+book
diff --git a/book.toml b/book.toml
@@ -0,0 +1,6 @@
+[book]
+authors = ["Federico Ponzi"]
+language = "en"
+multilingual = false
+src = "src"
+title = "TLA+ Wiki"
diff --git a/src/SUMMARY.md b/src/SUMMARY.md
@@ -0,0 +1,3 @@
+# Summary
+
+- [Chapter 1](./chapter_1.md)
diff --git a/src/chapter_1.md b/src/chapter_1.md
@@ -0,0 +1 @@
+# Chapter 1