[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 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? -- Joel Sherrill, Ph.D. Director of Research Development joel.sherr...@oarcorp.comOn-Line Applications Research Ask me about RTEMS: a free RTOS Huntsville AL 35805 Support Available(256) 722-9985
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 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;
}
--
Pat
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 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
joel.sherr...@oarcorp.comOn-Line Applications Research
Ask me about RTEMS: a free RTOS Huntsville AL 35805
Support Available(256) 722-9985
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 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. Indeed, it is better, and it is even the default for split manuals. -- Pat
