Re: [help-texinfo] Specifying Node File Prefix

[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 MANUAL".

I fixed our usage to do that. Seems like the best practice
based upon your advice.

Thanks.

--joel

On 2/26/2013 12:45 PM, Patrice Dumas wrote:
> 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 a --prefix option which looked promising
> > + texi2any has -c to set customization variables and
> >     NODE_FILENAMES or PREFIX looked like it might be OK.
> >
> > Did I miss something? Is there a way to do this?
> You need to do some coding in both cases.
>
> For texi2any, without testing, and with the caveat that the final API
> may be very different, this should be something along:
>
>
>
>
> $node_file_name = \&rtems_node_file_name;
>
> sub rtems_node_file_name($$$)
> {
>    my $converter = shift;
>    my $command = shift;
>    my $filename = shift;
>
>    return 'UserGuide-' . $filename;
> }


--
Joel Sherrill, Ph.D.             Director of Research & Development
address@hidden        On-Line Applications Research
Ask me about RTEMS: a free RTOS  Huntsville AL 35805
Support Available                (256) 722-9985