diff options
| author | Amar Takhar <amar@rtems.org> | 2016-01-19 09:55:57 -0500 |
|---|---|---|
| committer | Amar Takhar <verm@darkbeer.org> | 2016-05-02 20:51:24 -0400 |
| commit | 14bbcb1ea9315d651849bccff709ce05c3bc9602 (patch) | |
| tree | 7e22a544952eae9c42439c74472c117267bbbd9f /filesystem/conf.py | |
| parent | Add PDF generation support use with --pdf (diff) | |
| download | rtems-docs-14bbcb1ea9315d651849bccff709ce05c3bc9602.tar.bz2 | |
Add minimum version check for Sphinx.
Some distributions have ancient versions we require at least 1.3.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions