aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--extensions/Makefile.am1
1 files changed, 1 insertions, 0 deletions
diff --git a/extensions/Makefile.am b/extensions/Makefile.am
index d4cee5c8f..834fa6e87 100644
--- a/extensions/Makefile.am
+++ b/extensions/Makefile.am
@@ -57,6 +57,7 @@ XSLTPROCFLAGS = --nonet --novalid
_gen/all.xml: all.xml $(wildcard *.xml)
$(mkdir_p) _gen
$(XSLTPROC) $(XSLTPROCFLAGS) --xinclude $(tools_dir)/identity.xsl \
+ --param "allow-undefined-interfaces" "true()" \
$< > $@
extensions.html: _gen/all.xml $(tools_dir)/doc-generator.xsl