diff options
Diffstat (limited to 'DOCS/xml/Makefile')
| -rw-r--r-- | DOCS/xml/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/DOCS/xml/Makefile b/DOCS/xml/Makefile index 79bd9f429f..62aa2e03ee 100644 --- a/DOCS/xml/Makefile +++ b/DOCS/xml/Makefile @@ -25,7 +25,6 @@ help: @echo "distclean : Remove ALL generated files." @echo "Substitute LANG for one of $(DOC_LANG_ALL)" -html-chunked html-single: $(CONFIGURE_GENERATED) html-chunked: $(addprefix html-chunked-,$(DOC_LANGS)) html-single: $(addprefix html-single-,$(DOC_LANGS)) |