prc-tools CVS: prc-tools jmarshall

[John M. <jma...@us...>]

CVSROOT:	/cvsroot/prc-tools
Module name:	prc-tools
Changes by:	jmarshall	04/04/09 14:05:43

Modified files:
	doc            : build-prc.texi palmdev-prep.texi prc-tools.texi 

Log message:
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.