Makefile: commands for using mdbook

Makefile

@@ -25,9 +25,11 @@ pandoc : $(PDHTMLS) $(PDOUTDIR)
 pandoc-clean :
 	rm -rf $(PDOUTDIR)
 
+.PHONY : pandoc-http
 pandoc-http:
 	cd html/pandoc/docs && python -m SimpleHTTPServer
 
+.PHONY : pandoc-http3
 pandoc-http3:
 	cd html/pandoc/docs && python3 -m http.server
 
@@ -46,6 +48,25 @@ mkdocs :
 mkdocs-clean :
 	rm -rf html/mkdocs
 
+.PHONY : mdbook
+mdbook:
+	rm -f docs/SUMMARY.md && cd docs && ln -s ../fmt/mdbook/SUMMARY.md && cd ..
+	mdbook build -d ../../html/mdbook fmt/mdbook
+	rm -f docs/SUMMARY.md
+
+.PHONY : mdbook-serve
+mdbook-serve:
+	rm -f docs/SUMMARY.md && cd docs && ln -s ../fmt/mdbook/SUMMARY.md && cd ..
+	mdbook serve --open -d ../../html/mdbook fmt/mdbook
+	rm -f docs/SUMMARY.md
+
+.PHONY : mdbook-clean
+mdbook-clean :
+	rm -rf html/mdbook
+	rm -f docs/SUMMARY.md
+
 .PHONY : clean
 clean :
+	rm -f docs/SUMMARY.md
 	rm -rf html
+