c3d99dd2e4
Using 'sudo pip install' can cause a lot of problems because usually there are a couple of Python interpreters installed. This fix encourages developers to use `pip install --user` instead which is safer.
13 lines
368 B
Plaintext
13 lines
368 B
Plaintext
# This is a list of python packages used to generate documentation. This file is used with pip:
|
|
# pip install --user -r requirements.txt
|
|
#
|
|
sphinx==1.6.5
|
|
sphinx-rtd-theme
|
|
breathe==4.7.3
|
|
sphinxcontrib-blockdiag==1.5.3
|
|
sphinxcontrib-seqdiag==0.8.5
|
|
sphinxcontrib-actdiag==0.8.5
|
|
sphinxcontrib-nwdiag==0.9.5
|
|
recommonmark
|
|
future>=0.16.0 # for ../tools/gen_esp_err_to_name.py
|