diff options
| author | Amar Takhar <amar@rtems.org> | 2016-03-10 11:48:15 -0500 |
|---|---|---|
| committer | Amar Takhar <verm@darkbeer.org> | 2016-05-02 20:51:26 -0400 |
| commit | 2bcd424b4bc923cbf78efa91347ac82b26681737 (patch) | |
| tree | bb0a72f5ab9af96c5e8d98393616194677f40aad /common/waf.py | |
| parent | Add Minted 2015/12/21 v2.2dev (ce7a111) (diff) | |
| download | rtems-docs-2bcd424b4bc923cbf78efa91347ac82b26681737.tar.bz2 | |
Switch to using Minted and splitting long lines in verbatim.
Diffstat (limited to 'common/waf.py')
| -rw-r--r-- | common/waf.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/common/waf.py b/common/waf.py index 0b24f0b..ba63409 100644 --- a/common/waf.py +++ b/common/waf.py @@ -65,6 +65,8 @@ def check_sphinx_version(ctx, minver): def cmd_configure(ctx): ctx.load('tex') + ctx.env.append_value('PDFLATEXFLAGS', '-shell-escape') + ctx.find_program("sphinx-build", var="BIN_SPHINX_BUILD", mandatory=True) ctx.find_program("aspell", var="BIN_ASPELL", mandatory=False) ctx.find_program("inliner", var="BIN_INLINER", mandatory=False) |