RIOT-OS/RIOT — pull request #1208 by Kijewski (2014-05-18 15:07:18+00:00)
Title: documentation: fix doxygen for `pthread_*.h`

The pthread header files aren't in the doxygen page anymore after #1137,
because I `@file`'d the `.c` files, not the `.h` files.

This change moves doxygen boilerplate.

Closes #1199.