Module name: prc-tools
Changes by: jmarshall 04/04/09 14:05:43
doc : build-prc.texi palmdev-prep.texi prc-tools.texi
Use @gcctabopt, which is specially treated by texi2pod.pl, for lists
of command options. We make this equivalent to @code by using @alias
because that produces a less tediously cluttered texi2dvi build log
than @macro. But texi2html doesn't understand @alias, so we have to
use @macro in the HTML case.