Re: Vastly better HTML docs

[Peter Stephenson <pws@xxxxxxx>]

On Tue, 14 Apr 2009 02:19:54 -0700
Jesse W <jessw@xxxxxxxxxxx> wrote:
> If you generate the zsh docs with the current version (1.82), and use 
> the --node-files option, it will make html files with *actual* 
> *descriptive* *names* (like "Shell-Grammar.html", or 
> "Editor-Functions-Index.html").

The version being distributed on the systems I have is actually 1.78.

This turns the option on.  We now have to assume all .html options are
output from texi2html, but it's a good bet.

Index: Doc/.cvsignore
===================================================================
RCS file: /cvsroot/zsh/zsh/Doc/.cvsignore,v
retrieving revision 1.5
diff -u -r1.5 .cvsignore
--- Doc/.cvsignore	25 Oct 2006 09:46:45 -0000	1.5
+++ Doc/.cvsignore	16 Apr 2009 10:09:51 -0000
@@ -3,7 +3,7 @@
 zsh*.1
 zsh.texi
 zsh.info*
-zsh*.html
+*.html
 zsh.aux zsh.toc
 zsh.cp zsh.cps
 zsh.fn zsh.fns
Index: Doc/.distfiles
===================================================================
RCS file: /cvsroot/zsh/zsh/Doc/.distfiles,v
retrieving revision 1.9
diff -u -r1.9 .distfiles
--- Doc/.distfiles	26 Nov 2007 09:58:59 -0000	1.9
+++ Doc/.distfiles	16 Apr 2009 10:09:51 -0000
@@ -15,7 +15,7 @@
 
 DISTFILES_DOC='
     zsh.info zsh.info-[0-9]*
-    zsh.html zsh_*toc.html zsh_[0-9]*.html
+    *.html
     zsh.dvi
     zsh.pdf
 '
Index: Doc/Makefile.in
===================================================================
RCS file: /cvsroot/zsh/zsh/Doc/Makefile.in,v
retrieving revision 1.44
diff -u -r1.44 Makefile.in
--- Doc/Makefile.in	3 Mar 2009 15:04:27 -0000	1.44
+++ Doc/Makefile.in	16 Apr 2009 10:09:51 -0000
@@ -40,7 +40,7 @@
 MAKEINFO = makeinfo
 TEXI2DVI = texi2dvi
 DVIPS = dvips
-TEXI2HTML = texi2html --output . --ifinfo --split=chapter
+TEXI2HTML = texi2html --output . --ifinfo --split=chapter --node-files
 
 .SUFFIXES: .yo .1
 
-- 
Peter Stephenson <pws@xxxxxxx>                  Software Engineer
CSR PLC, Churchill House, Cambridge Business Park, Cowley Road
Cambridge, CB4 0WZ, UK                          Tel: +44 (0)1223 692070