Hello, I've filed this under web, though obviously it applies to your info pages as well, I assume you generate everything from the same source, so this may be better filed somewhere else. (How come you don't have a documentation component to choose for bug reports?)
For both gcc 3.4(.4) and 4.0(.1), under IA-64 options, your documentation states: "-mtune-arch=cpu-type Tune the instruction scheduling for a particular CPU, Valid values are itanium, itanium1, merced, itanium2, and mckinley." The correct option is specified as -mtune=cpu-type, as is noted here (under the IA-64 heading): http://gcc.gnu.org/gcc-3.4/changes.html "Tuning code for the Itanium 2 processor has been added. The generation of code tuned for Itanium 2 (option -mtune=itanium2) is enabled by default now. To generate code tuned for Itanium 1 the option -mtune=itanium1 should be used." Regards, David H. Gutteridge -- Summary: IA-64 hardware models and configuration options documentation error for 3.4.x and 4.0.x Product: gcc Version: 4.0.1 Status: UNCONFIRMED Severity: normal Priority: P2 Component: web AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: dhgutteridge at hotmail dot com CC: gcc-bugs at gcc dot gnu dot org GCC build triplet: N/A GCC host triplet: N/A GCC target triplet: N/A http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23644