$(outdir)/%/index.html: $(outdir)/%.texi
mkdir -p $(dir $@)
- $(TEXI2HTML) --I=$(outdir) --output=$(dir $@) --prefix=init --split=section $(TEXI2HTML_INIT) $<
+ $(TEXI2HTML) --I=$(outdir) --output=$(dir $@) --prefix=index --split=section $(TEXI2HTML_INIT) $<
# TODO: Pass -D bigpage to texi2html
$(outdir)/%-big-page.html: $(outdir)/%.texi