diff options
author | Patrick Lehmann <Patrick.Lehmann@tu-dresden.de> | 2017-03-04 17:36:07 +0100 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2017-12-10 12:02:05 +0100 |
commit | 660998b341f810b8a37fed12cbf00e8d301ec3d7 (patch) | |
tree | 9efdffc6cff2ee24f889550ecd0dff6afbfcd7e5 | |
parent | df245f9d30e4822d500b519cf7a2eb066f4dfebc (diff) | |
download | ghdl-660998b341f810b8a37fed12cbf00e8d301ec3d7.tar.gz ghdl-660998b341f810b8a37fed12cbf00e8d301ec3d7.tar.bz2 ghdl-660998b341f810b8a37fed12cbf00e8d301ec3d7.zip |
Added requirement.
-rw-r--r-- | doc/requirements.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/requirements.txt b/doc/requirements.txt index c9503cede..999052a78 100644 --- a/doc/requirements.txt +++ b/doc/requirements.txt @@ -1,5 +1,6 @@ #-r ../requirements.txt sphinx>=1.5.2 +recommonmark # sphinxcontrib-textstyle>=0.2.1 # sphinxcontrib-spelling>=2.2.0 # changelog>=0.3.5 |