[Bug web/54124] Web-based GCC 4.7.1 manual: -dM and similar options hard to find

[redi at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54124

--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-07-30 11:37:18 UTC ---
That section is formatted the same in HTML and the info pages.

If you go to the options summary at
http://gcc.gnu.org/onlinedocs/gcc-4.7.1/gcc/Option-Summary.html you can search
for -dM (or "preprocessor") and find it in the relevant section, which takes
you to http://gcc.gnu.org/onlinedocs/gcc-4.7.1/gcc/Preprocessor-Options.html