diff options
| -rw-r--r-- | common/waf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/common/waf.py b/common/waf.py index 6a65b42..d71541e 100644 --- a/common/waf.py +++ b/common/waf.py @@ -325,7 +325,7 @@ def doc_pdf(ctx, source_dir, conf_dir, sources): rule = rule, cwd = ctx.path, source = sources_source(ctx, sources), - depends_on = sources_extra(sources), + depends_on = sources_extra(ctx, sources), target = ctx.path.find_or_declare("%s/%s.tex" % (buildtype, ctx.path.name)) ) |