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 bedf6e1eab..d39a56d5f1 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)) $(foreach lang,$(DOC_LANG_ALL),$(HTML)/$(lang)): - -mkdir -p $@ + mkdir -p $@ $(CONFIGURE_GENERATED) $(MAIN_XML_ALL): sh configure |