[help-texinfo] Specifying Node File Prefix

Hi RTEMS folks back again. :( We are using the standard node file output format. We would like all the files from a single manual to have the same prefix (e.g. UserGuide-XXX). I thought I saw ways to do this in both texi2html and texi2any but so far no luck. + texi2html has a --prefix option

Re: [help-texinfo] Specifying Node File Prefix

On Tue, Feb 26, 2013 at 11:11:01AM -0600, Joel Sherrill wrote: Hi RTEMS folks back again. :( We would like all the files from a single manual to have the same prefix (e.g. UserGuide-XXX). I thought I saw ways to do this in both texi2html and texi2any but so far no luck. + texi2html has

Re: [help-texinfo] Specifying Node File Prefix

Thanks! Aside from having something like the old MANUAL_NNN.html form, we were trying to have a nice pattern for a wildcard in make clean which wouldn't clobber any hand-written html files. It seems safer and more standard to build into a subdirectory named MANUAL, then we can simply rm -rf

Re: [help-texinfo] Specifying Node File Prefix

On Tue, Feb 26, 2013 at 01:06:52PM -0600, Joel Sherrill wrote: Thanks! Aside from having something like the old MANUAL_NNN.html form, we were trying to have a nice pattern for a wildcard in make clean which wouldn't clobber any hand-written html files. It seems safer and more standard to