Re: [help-texinfo] Specifying Node File Prefix

2013-02-26 Thread Patrice Dumas
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 stan

Re: [help-texinfo] Specifying Node File Prefix

2013-02-26 Thread Joel Sherrill
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

2013-02-26 Thread Patrice Dumas
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. > > + texi2

[help-texinfo] Specifying Node File Prefix

2013-02-26 Thread Joel Sherrill
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 w