WIP: pipeline

.docker/Dockerfile

@@ -21,3 +21,6 @@ RUN apt-get install -y python3-pip
 
 COPY doc/requirements.txt requirements.txt
 RUN pip3 install -r requirements.txt
+
+RUN apt-get install -y protobuf-compiler
+RUN go install github.com/pseudomuto/protoc-gen-doc/cmd/protoc-gen-doc@v1.4.1

doc/CMakeLists.txt

@@ -22,11 +22,11 @@ find_program(SPHINX_CMD sphinx-build)
 find_program(PROTOC_CMD protoc)
 find_program(PROTOC_GEN_DOC_PLUGIN protoc-gen-doc)
 if (NOT PROTOC_CMD)
-    message("Protoc compiler  needs to be installed to generate the documentation")
+    message(FATAL "Protoc compiler  needs to be installed to generate the documentation")
 elseif (NOT PROTOC_GEN_DOC_PLUGIN)
-    message("Proto-gen-doc plugin needs to be installed to generate the documentation")
+    message(FATAL "Proto-gen-doc plugin needs to be installed to generate the documentation")
 elseif (NOT SPHINX_CMD)
-    message("Sphinx needs to be installed to generate the documentation")
+    message(FATAL "Sphinx needs to be installed to generate the documentation")
 else ()
     # Copy sources to build directory
     add_custom_target(doc-copy-sources