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

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

> i'll update newlib (libc+libm) once people are happy with this direction.

OK, thanks.


> Makefile.in is generated code that isn't meant to be read by most people.

You are right. I forgot that Newlib is still checking into the repository machine-generated files.


>>> [...]
>>> add an extra rule to also generate the split page manual.

>> Is 'html-local' the new target?

> this is an internal Automake hook point.  people still run `make html` and
> they'll get both forms of the manual.

If I understood it correctly, you are not actually adding an extra rule, but injecting an extra step in the standard 'html' rule.

The makefile will then be generating both 'single' and 'split' HTML documentation variants at once. This will usually be a waste of CPU time and disk space, will it not? I guess most people would normally want one version or the other, but not both.

The 'html' target, and the notion single/split, seems like a standard Automake concept, but I am not familiar with it yet. Is the Automake user supposed to specify via MAKEINFOFLAGS whether to generate a single or split variant? What happens if the user specifies MAKEINFOFLAGS=--no-split or MAKEINFOFLAGS=--split=chapter ?

Regards,
  rdiez