GAS documentation bug?

[Jeff Frohwein]

Hi,

I apologize if this is the wrong address for sending a possible GAS
documentation bug report but it was the only email I could seem to locate.

In the GAS documentation at this link:
http://www.gnu.org/manual/gas-2.9.1/html_chapter/as_7.html#SEC119

Can be found the following text:

> The optional type argument may contain one of the following constants
>@progbits
>@nobits

Should not this be % instead? % is the symbol that is used by ARM7 GCC
when compiling C code to GAS (assembly) code. Here is an example
ARM7 GCC generated line:
  .section .text,"ax",%progbits

Or does @ have the same effect as %, even though @ is also the GAS 
comment character?

Thanks