mirror of
https://git.rtems.org/rtems-docs/
synced 2025-07-02 14:08:51 +08:00
Remove incorrect pdflatex/makeindex check.
This commit is contained in:
parent
7c1f2154d6
commit
9b495a2980
@ -116,10 +116,6 @@ def html_resources(ctx):
|
|||||||
def cmd_build(ctx, conf_dir=".", source_dir="."):
|
def cmd_build(ctx, conf_dir=".", source_dir="."):
|
||||||
srcnode = ctx.srcnode.abspath()
|
srcnode = ctx.srcnode.abspath()
|
||||||
|
|
||||||
if not ctx.env.PDFLATEX or not ctx.env.MAKEINDEX:
|
|
||||||
ctx.fatal('The programs pdflatex and makeindex are required')
|
|
||||||
|
|
||||||
|
|
||||||
if ctx.options.pdf:
|
if ctx.options.pdf:
|
||||||
doc_pdf(ctx, source_dir, conf_dir)
|
doc_pdf(ctx, source_dir, conf_dir)
|
||||||
elif ctx.options.singlehtml:
|
elif ctx.options.singlehtml:
|
||||||
|
Loading…
x
Reference in New Issue
Block a user