This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [3.3, 3.4, HEAD] remove @ref{...} from generated man pages
On Thu, 26 Aug 2004, Zack Weinberg wrote:
> I do not see any _technical_ problems with it; this leaves the
> question of whether these items _should_ be bolded, which I leave to
> the documentation maintainers.
I think bolding them is a reasonable choice of formatting for the manpage.
The patch is OK.
--
Joseph S. Myers http://www.srcf.ucam.org/~jsm28/gcc/
jsm@polyomino.org.uk (personal mail)
jsm28@gcc.gnu.org (Bugzilla assignments and CCs)
- References:
- [3.3, 3.4, HEAD] remove @ref{...} from generated man pages
- Re: [3.3, 3.4, HEAD] remove @ref{...} from generated man pages
- Re: [3.3, 3.4, HEAD] remove @ref{...} from generated man pages
- Re: [3.3, 3.4, HEAD] remove @ref{...} from generated man pages
- Re: [3.3, 3.4, HEAD] remove @ref{...} from generated man pages
- Re: [3.3, 3.4, HEAD] remove @ref{...} from generated man pages