[update] documentation

doc/tutorial/tutorial.tex

@@ -86,9 +86,8 @@ PATH=$TOOLCHAIN_PATH/bin:$PATH make ;
 \end{small}
 
 \paragraph{}
-A GDB server must be start to interact with the STM32.
-Depending on the discovery kit you are using, you must
-run one of the 2 commands:\\
+A GDB server must be start to interact with the STM32. Depending on the discovery kit you
+are using, you must run one of the 2 commands:\\
 \begin{small}
 \begin{lstlisting}[frame=tb]
 # STM32VL discovery kit
@@ -131,6 +130,9 @@ $> run
 \end{lstlisting}
 \end{small}
 
+\paragraph{}
+The board BLUE and GREEN leds should be blinking (those leds are near the user and reset buttons).
+
 
 \newpage
 \section{References}