diff options
Diffstat (limited to '')
-rw-r--r-- | Makefile.am | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/Makefile.am b/Makefile.am index 2f3ab906e..c105b9945 100644 --- a/Makefile.am +++ b/Makefile.am @@ -2141,19 +2141,11 @@ user_DATA = $(wildcard doc/user/*.html) developerdir = $(docdir)/developer developer_DATA = $(wildcard doc/developer/*.html) -if HAVE_XMLTO - DOCBOOK_HTML = $(patsubst %.xml,%/index.html,$(DOCBOOK_FILES)) $(DOCBOOK_HTML): %/index.html: %.xml $(XMLTO) -o $(@D) --stringparam chunker.output.encoding=utf-8 html --stringparam use.id.as.filename=1 $< -else - -DOCBOOK_HTML = - -endif - doc/api/html/index.html: doc/doxygen.conf @$(MKDIR_P) $(@D) $(DOXYGEN) $< |