Re: [PATCH] libgloss: doc: generate single page & split html manuals

> By default, only split node html manuals are generated.  Change the
> default to single page, and add an extra rule to also generate the
> split page manual.

I am a little confused about this patch, and I would like to learn more anyhow about the way Newlib generates its documentation.


> libgloss/Makefile.in      | 11 +++++++++--
> libgloss/doc/Makefile.inc |  7 +++++++

Does this mean that only libgloss is affected? Or does the libc part also have the concept of split / single HTML manuals?


> +@HAVE_DOC_TRUE@html-local: doc/porting/index.html

Is 'html-local' the new target? If so, why not call it 'html-split' or 'html-split-node'? I am guessing that the default target is called 'html'.

On the other hand, if the old behaviour was to generate "split node html", why not just add a new target called 'html-single' or 'html-single-node'?


> +@HAVE_DOC_TRUE@AM_MAKEINFOFLAGS = --no-split
> [...]
> +@HAVE_DOC_TRUE@doc/porting/index.html: doc/porting.texi doc/$(am__dirstamp)
> +@HAVE_DOC_TRUE@    $(AM_V_GEN)$(MAKEINFOHTML) $(AM_MAKEINFOHTMLFLAGS) $(MAKEINFOFLAGS) \
> +@HAVE_DOC_TRUE@        --split=node $< -o $(@D)
> [...]
> +AM_MAKEINFOFLAGS = --no-split
> [...]
> +html-local: %D%/porting/index.html
> +%D%/porting/index.html: %D%/porting.texi %D%/$(am__dirstamp)
> +    $(AM_V_GEN)$(MAKEINFOHTML) $(AM_MAKEINFOHTMLFLAGS) $(MAKEINFOFLAGS) \
> +        --split=node $< -o $(@D)


I do not actually know what @HAVE_DOC_TRUE@ means. All I can see above next to AM_MAKEINFOFLAGS is "--no-split", but then the command-line arguments are both "--split=node". Is that not a contradiction?

Thanks in advance for your help,
  rdiez