diff options
| author | Patrick Lehmann <Patrick.Lehmann@tu-dresden.de> | 2017-02-19 05:24:49 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2017-12-10 12:02:05 +0100 |
| commit | d92e8315d85a3f96d5fc6d2c1e8da385992ec729 (patch) | |
| tree | d3dddabec8090fb1ada27b0cfc62e6992f023c46 | |
| parent | d35d1e5a6bff26603006e8a025badec506d3064c (diff) | |
| download | ghdl-d92e8315d85a3f96d5fc6d2c1e8da385992ec729.tar.gz ghdl-d92e8315d85a3f96d5fc6d2c1e8da385992ec729.tar.bz2 ghdl-d92e8315d85a3f96d5fc6d2c1e8da385992ec729.zip | |
Added Python (PIP) requirements file. Request Sphinx >= 1.5.2.
| -rw-r--r-- | doc/conf.py | 2 | ||||
| -rw-r--r-- | doc/requirements.txt | 5 |
2 files changed, 6 insertions, 1 deletions
diff --git a/doc/conf.py b/doc/conf.py index 1fa5ae5b3..08a242310 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -29,7 +29,7 @@ sys.path.insert(0, os.path.abspath('_extensions')) # -- General configuration ------------------------------------------------ # If your documentation needs a minimal Sphinx version, state it here. -#needs_sphinx = '1.0' +needs_sphinx = '1.5' # Add any Sphinx extension module names here, as strings. They can be # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom diff --git a/doc/requirements.txt b/doc/requirements.txt index e657860af..c9503cede 100644 --- a/doc/requirements.txt +++ b/doc/requirements.txt @@ -1 +1,6 @@ +#-r ../requirements.txt sphinx>=1.5.2 +# sphinxcontrib-textstyle>=0.2.1 +# sphinxcontrib-spelling>=2.2.0 +# changelog>=0.3.5 + |