diff --git a/[refs] b/[refs] index 8c8e35df3897..0c7143e0014d 100644 --- a/[refs] +++ b/[refs] @@ -1,2 +1,2 @@ --- -refs/heads/master: 198b766013e680a9e367aeb0d62f402029868a09 +refs/heads/master: eb81d93046e7de51d47b8f1303d80e6f51ac9e33 diff --git a/trunk/Documentation/DocBook/Makefile b/trunk/Documentation/DocBook/Makefile index 10b5cd6c54a0..6fd1646d3204 100644 --- a/trunk/Documentation/DocBook/Makefile +++ b/trunk/Documentation/DocBook/Makefile @@ -43,6 +43,7 @@ pdfdocs: $(PDF) HTML := $(sort $(patsubst %.xml, %.html, $(BOOKS))) htmldocs: $(HTML) + $(call build_main_index) MAN := $(patsubst %.xml, %.9, $(BOOKS)) mandocs: $(MAN) @@ -132,10 +133,17 @@ quiet_cmd_db2pdf = PDF $@ %.pdf : %.xml $(call cmd,db2pdf) + +main_idx = Documentation/DocBook/index.html +build_main_index = rm -rf $(main_idx) && \ + echo '
' > $@ + $(patsubst %.html,%,$(notdir $@))
' > $@ %.html: %.xml @(which xmlto > /dev/null 2>&1) || \