RIOT-OS/RIOT — pull request #528 by OlegHahm (2014-01-21 10:03:14+00:00)
Title: Fixing 'make doc'

`make doc` is the only time make gets directly called from the main RIOT directory. Thus, neither CPU nor BOARD are set.