📝 add release page

.gitignore

@@ -30,3 +30,4 @@ test/test-*
 doc/mkdocs/venv/
 doc/mkdocs/docs/images
 doc/mkdocs/docs/examples
+doc/mkdocs/site

doc/mkdocs/Makefile

+# serve the site locally
 serve: prepare_files
 	venv/bin/mkdocs serve
 
-prepare_files:
+# create files that are not versioned inside the mkdocs folder
+prepare_files: clean
 	# build Doxygen
 	$(MAKE) -C ..
-	# clean subfolders
-	rm -fr docs/images docs/examples
 	# create subfolders
 	mkdir docs/images docs/examples
 	# copy images
@@ -13,12 +13,19 @@ prepare_files:
 	# copy examples
 	cp -vr ../examples/*.cpp ../examples/*.output docs/examples
 
+# clean subfolders
+clean:
+	rm -fr docs/images docs/examples
+
+# publish site to GitHub pages
 publish: prepare_files
 	venv/bin/mkdocs gh-deploy --clean --force
 
-install_venv:
+# install a Python virtual environment
+install_venv: requirements.txt
 	python3 -mvenv venv
 	venv/bin/pip install -r requirements.txt
 
-uninstall_venv:
+# uninstall the virtual environment
+uninstall_venv: clean
 	rm -fr venv

doc/mkdocs/mkdocs.yml

@@ -32,6 +32,7 @@ nav:
     - "Code of Conduct": home/code_of_conduct.md
     - "FAQ": home/faq.md
     - home/exceptions.md
+    - home/releases.md
     - home/design_goals.md
     - home/sponsors.md
   - Features: