diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 6200194ca74c4792b5e00d9f037b408f3658bf92..e7a21b95a76cf6a62a70bc85b6ee077caf3ce5b8 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -72,7 +72,8 @@ pages: image: python:3.9 stage: deploy script: - - pip install sphinx sphinx-argparse sphinxcontrib.bibtex sphinx_rtd_theme + - pip install -r requirements.txt + - pip install -r doc/requirements.txt - cd doc - make html - mv build/html/ ../public diff --git a/doc/requirements.txt b/doc/requirements.txt new file mode 100644 index 0000000000000000000000000000000000000000..098617672d7d8c9f4cfc50c4bdbd1bd50c5535ce --- /dev/null +++ b/doc/requirements.txt @@ -0,0 +1,4 @@ +sphinx +sphinx-argparse +sphinxcontrib.bibtex +sphinx_rtd_theme