Merge remote-tracking branch 'origin/develop' into gpu-invoker

docs/run_doc.sh

+#!/bin/bash
+
+set -eu
+
+# Make this directory the PWD
+cd "$(dirname "${BASH_SOURCE[0]}")"
+
+# Build doxygen info
+bash run_doxygen.sh
+
+# Build sphinx docs
+cd source
+make clean
+make -e SPHINXOPTS="-t html" html
+make latexpdf

docs/run_doxygen.sh

+#!/bin/bash
+
+set -eu
+
+# Make this directory the PWD
+cd "$(dirname "${BASH_SOURCE[0]}")"
+
+# Build the doxygen info
+rm -rf docBin
+doxygen Doxyfile

docs/source/Contributors_Guide.rst

+===================
+Contributor's Guide
+===================
+
+Pull-request guidelines
+=======================
+
+[TODO]