Fix dependencies

CONTRIBUTING.md

@@ -13,6 +13,7 @@ Before starting, you need a few tools.
  - The following packages from your Linux distribution's repository:
   - `git`
   - `python3-sphinx`
+  - `texlive-full`
  - The following packages from PyPI:
   - `sphinx_debootstrap_theme`
 

README.md

@@ -9,7 +9,7 @@ The documentation is powered by [Sphinx](http://www.sphinx-doc.org/en/stable/).
 Run the following command to install the needed dependencies:
 
 ```
-sudo apt install python3-sphinxpython3-sphinx && pip install sphinx_bootstrap_theme
+sudo apt install python3-sphinx texlive-full && pip install sphinx_bootstrap_theme
 ```
 
 You can see the options for building the documentation by running `make help`.