Add Verso blueprint

.gitignore

@@ -37,7 +37,15 @@ blueprint/src/web.pdf
 *.synctex.gz
 *.synctex.gz(busy)
 *.pdfsync
-## Verso
-/tutorial/.lake/
-/tutorial/html/
+
+## Website
 /home_page/
+
+## Tutorial
+/tutorial/.lake/
+/tutorial/_out/
+
+## Verso Blueprint
+/verso_blueprint/.lake/
+/verso_blueprint/.build/
+/verso_blueprint/_out/

build_all.sh

@@ -3,15 +3,21 @@ set -x -e
 # Build tutorial
 cd tutorial
 lake build
-rm -rf html _out
-lake exe manual
-mkdir html
-mv _out/html-multi/* html/
-rm -rf _out
-mkdir -p html/static
-cp static_files/* html/static
+lake exe manual --output _out/site
+mkdir -p _out/site/html-multi/static
+cp static_files/* _out/site/html-multi/static
+cd ..
+
+cd verso_blueprint
+lake exe cache get
+lake build
+lake exe blueprint-gen --output _out/site
+mkdir -p _out/site/html-multi/static
+cp static_files/* _out/site/html-multi/static
 cd ..
 
 # Copy outputs to home_page
 mkdir -p home_page/tutorial
-cp -r tutorial/html/* home_page/tutorial
+cp -r tutorial/_out/site/html-multi/* home_page/tutorial
+mkdir -p home_page/verso_blueprint
+cp -r verso_blueprint/_out/site/html-multi/* home_page/verso_blueprint

verso_blueprint/LMLBlueprint.lean

@@ -0,0 +1 @@
+import LMLBlueprint.Blueprint

verso_blueprint/LMLBlueprint/Blueprint.lean

@@ -0,0 +1,31 @@
+import Verso
+import VersoManual
+import VersoBlueprint
+import VersoBlueprint.Commands.Graph
+import VersoBlueprint.Commands.Summary
+import LMLBlueprint.Chapters.Algorithm
+import LMLBlueprint.Chapters.Bandit
+import LMLBlueprint.Chapters.BanditAlgs
+import LMLBlueprint.Chapters.Concentration
+import LMLBlueprint.Chapters.Intro
+
+open Verso.Genre
+open Verso.Genre.Manual
+open Informal
+
+set_option verso.blueprint.foldProofs true
+set_option verso.blueprint.summary.debugDiagnostics false
+
+#doc (Manual) "Lean Machine Learning" =>
+
+A Lean package for machine learning algorithms
+
+{include 0 LMLBlueprint.Chapters.Intro}
+{include 0 LMLBlueprint.Chapters.Algorithm}
+{include 0 LMLBlueprint.Chapters.Bandit}
+{include 0 LMLBlueprint.Chapters.Concentration}
+{include 0 LMLBlueprint.Chapters.BanditAlgs}
+
+{blueprint_graph}
+{blueprint_summary}
+{blueprint_bibliography}