New rule "install_docs" to build the documentation.

Author: jpc-lip6

Makefile.LIP6

@@ -63,9 +63,12 @@ $(CORIOLIS_SRC)/.pdm-plugins/bin/pdm: $(HOME)/.local/bin/pdm
 	@$(localpath) pdm install --no-self -d --plugins
 
 
-install: check_dir $(CORIOLIS_SRC)/.pdm-plugins/bin/pdm
+configure:
 	@$(localpath) pdm run meson setup ${BUILDDIR} --prefix=$(PREFIX) -Dpython.install_env=prefix
-	@$(localpath) pdm run ninja -C $(BUILDDIR) install
+
+
+install: check_dir $(CORIOLIS_SRC)/.pdm-plugins/bin/pdm configure
+	@$(localpath) pdm run meson install -C $(BUILDDIR)
 	@echo "";                                                                             \
 	 echo "============================================================================"; \
 	 echo "Coriolis has been successfully built";                                         \
@@ -75,6 +78,13 @@ install: check_dir $(CORIOLIS_SRC)/.pdm-plugins/bin/pdm
 	 echo "============================================================================";
 
 
+install_docs: check_dir $(CORIOLIS_SRC)/.pdm-plugins/bin/pdm configure
+	@$(localpath) pdm run meson configure ${BUILDDIR} --prefix=$(PREFIX) \
+	                                                  -Donly-docs=true   \
+	                                                  -Ddocs=true
+	@$(localpath) pdm run meson install -C $(BUILDDIR)
+
+
 install_alliance:
 	 export ALLIANCE_TOP=$(PREFIX); \
 	 export LD_LIBRARY_PATH=$(PREFIX)/lib:$(LD_LIBRARY_PATH); \