Edit the make target for the generation of the platform documentation.#336

Open

mirko-lelansky wants to merge 2 commits intotinyos:masterfrom

mirko-lelansky:fix-platform-documentation-generation

Commits on Apr 7, 2015

Edit the generation of the platform documentation. Remove no more used
mirko-lelansky
committed
Edit the makefile so that the shell wait for the read commands.
mirko-lelansky
committed