tools/ci/install_doc_dependencies.sh

b41d672585 Ed D*0001 #  Set up environment needed for Sphinx to build docs
                0002 sudo apt-get update
                0003 sudo apt-get install texlive-latex-recommended
                0004 sudo apt-get install texlive-latex-extra
                0005 sudo apt-get install texlive-fonts-recommended
7d8843e8c8 Oliv*0006 sudo apt-get install texlive-lang-greek
b41d672585 Ed D*0007 sudo apt-get install latexmk
7621b5d564 Oliv*0008 pip install -r doc/requirements.txt
b41d672585 Ed D*0009 pip install sphinx_rtd_theme