diff options
| -rw-r--r-- | DOCS/xml/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/DOCS/xml/Makefile b/DOCS/xml/Makefile index 48fcab3864..a8e0f6dcf9 100644 --- a/DOCS/xml/Makefile +++ b/DOCS/xml/Makefile @@ -31,7 +31,7 @@ html-single: $(addprefix html-single-,$(DOC_LANGS)) xmllint: $(addprefix xmllint-,$(DOC_LANGS)) $(CONFIGURE_GENERATED) $(MAIN_XML_ALL): - sh configure + ./configure define lang-def html-chunked-$(lang): $(HTML)/$(lang)/index.html |