diff options
Diffstat (limited to 'extensions')
| -rw-r--r-- | extensions/Makefile.am | 1 |
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 |