diff --git a/website.make b/website.make index 1920c26..cd37e91 100644 --- a/website.make +++ b/website.make @@ -65,6 +65,14 @@ website-texinfo: website-version website-xrefs -D web_version \ --output=$(OUT)/website/ \ $(top-src-dir)/Documentation/web.texi + $(TEXI2HTML) --prefix=index \ + --split=section \ + --I=$(top-src-dir)/Documentation/ \ + --I=$(OUT) \ + --init-file=$(texi2html-init-file) \ + -D web_version \ + --output=$(OUT)/es/ \ + $(top-src-dir)/Documentation/es/web.texi website-css: cp $(top-src-dir)/Documentation/css/*.css $(OUT)/website/