answer to makefile question in FAQ needs updating

Forum 2005-2010 (read only) Software Bugs & Suggestions
1

The main faq page (http://arduino.cc/en/Main/FAQ) has obsolete information as the answer to this question:
Can I use a different IDE to program the Arduino board?
(The link is to the 0011 release)