Re: Use makeinfo --html for HTML manuals

[Eli Zaretskii <eliz@gnu.org>]

> Date: Fri, 17 Apr 2009 20:40:20 +0000 (UTC)
> From: "Joseph S. Myers" <joseph@codesourcery.com>
> 
> This patch makes the GDB makefiles build HTML manuals using makeinfo
> --html instead of texi2html.

Thanks.  I'm okay with this change, but I have one comment.

> +gdb/index.html: ${GDB_DOC_FILES}
>  	$(MAKEHTML) $(MAKEHTMLFLAGS) -I ${READLINE_DIR} -I ${GDBMI_DIR} -I $(srcdir) $(srcdir)/gdb.texinfo
>  
>  # Clean these up before each run.  Avoids a catch 22 with not being
> @@ -445,7 +456,7 @@
>  
>  # GDB INTERNALS MANUAL: HTML file
>  
> -gdbint_toc.html: $(GDBINT_DOC_FILES)
> +gdbint/index.html: $(GDBINT_DOC_FILES)
>  	$(MAKEHTML) $(MAKEHTMLFLAGS) $(srcdir)/gdbint.texinfo
>  
>  stabs.info: $(STABS_DOC_FILES)
> @@ -453,7 +464,7 @@
>  
>  # STABS DOCUMENTATION: HTML file
>  
> -stabs_toc.html: $(STABS_DOC_FILES)
> +stabs/index.html: $(STABS_DOC_FILES)
>  	$(MAKEHTML) $(MAKEHTMLFLAGS) $(srcdir)/stabs.texinfo
>  
>  # Clean these up before each run.  Avoids a catch 22 with not being
> @@ -495,7 +506,7 @@
>  annotate.info: $(ANNOTATE_DOC_FILES)
>  	$(MAKEINFO)  -I $(srcdir) -o annotate.info $(srcdir)/annotate.texinfo
>  
> -annotate_toc.html: $(ANNOTATE_DOC_FILES)
> +annotate/index.html: $(ANNOTATE_DOC_FILES)
>  	$(MAKEHTML) $(MAKEHTMLFLAGS) $(srcdir)/annotate.texinfo

Why the discrepancy wrt the use of the -I $(srcdir) switch between the
commands for different manuals?  I'd prefer them all to use that
switch, even if some of them do not @include any other files, to avoid
surprises if we some day add such directives.

Btw, I hear that the next release of Texinfo will ditch makeinfo the C
program and use texi2html instead.  (There probably will still be a
wrapper shell script called `makeinfo', for backward compatibility.)
What that will do to all this, is anybody's guess.  But we don't need
to worry about this today.