Re: Makeinfo html Customization Options

On Sat, Jun 27, 2026 at 01:15:05AM +0000, Heime wrote:
> On Friday, June 26th, 2026 at 6:34 PM, Patrice Dumas <[email protected]> wrote:
> > The options related to CSS, --css-include or --css-ref are also commonly
> > used, the remaining HTML-specific options are less likely to be useful,
> > in my opinion.
> 
> Does one usually use one (--css-ref=URL) or the other (--css-include=FILE)?

--css-ref is used in gendoc.sh, which is often used to generate manuals for
GNU projects, so it is definitively usually used.  I do not know
if/where --css-include is used.

-- 
Pat