[makefile] added doc target

Also: merged Makefile.serverdoc into Makefile.documentation

Makefile

@@ -108,16 +108,20 @@ PTEST_USE_WP_CACHE:=yes
 include share/Makefile.testing
 
 ###############################################################################
-# Server Documentation
+# Linters
 ################################
 
-include share/Makefile.serverdoc
-
 ###############################################################################
 
 # Code prettyfication and lint
 include share/Makefile.linting
 
+###############################################################################
+# Frama-C Documentation
+################################
+
+include share/Makefile.documentation
+
 ###############################################################################
 # Local Variables:
 # compile-command: "make"

share/Makefile.serverdoc → share/Makefile.documentation

@@ -20,6 +20,19 @@
 #                                                                        #
 ##########################################################################
 
+##########################################################################
+#                                                                        #
+# Frama-C Documentation targets                                          #
+#                                                                        #
+##########################################################################
+
+.PHONY: doc
+
+doc:
+	dune build @doc
+	@echo "Generated Documentation:"
+	@echo "   file:///$(PWD)/_build/default/_doc/_html/index.html"
+
 ##########################################################################
 #                                                                        #
 # Generate Documentation for Server Requests and Protocols.              #