PATCH: Fix and clean up dvi documentation

[Zack Weinberg]

James A Morrison <ja2morri@student.math.uwaterloo.ca> writes:

>  Hi,
>
>   I tried to build the documentation in dvi format from the 3.3 branch
> and it didn't work.  It seems around line 3583 someone munged @table
> into at table.  All the other changes besides that are just to make
> the dvi output of the gcc manual nicer.
>
>   When there is a line break or space after @gccoptlist{ the dvi
> documentation indents the first option, messing up the alignment that
> is supposed to be there.
>
>   The added @gol's just ensure that all the options in the gccoptlist fit
> within the width of the default page.

Go ahead and check this in.

zw