# HG changeset patch
# User Giulio Moro <giuliomoro@yahoo.it>
# Date 1466101306 -3600
# Node ID 8533f7198644228644fdbd73971ec99d21c3b434
# Parent  b27676f871d7cb3641fb2c0d52df27986a5c0647
Re-added Doxygen

diff -r b27676f871d7 -r 8533f7198644 scripts/update_board.sh
--- a/scripts/update_board.sh	Thu Jun 16 19:20:22 2016 +0100
+++ b/scripts/update_board.sh	Thu Jun 16 19:21:46 2016 +0100
@@ -147,7 +147,7 @@
 error_handler $?
 
 printf "Generating on-board documentation..."
-#ssh $BBB_ADDRESS "cd $BBB_BELA_HOME; doxygen &> /dev/null"
+ssh $BBB_ADDRESS "cd $BBB_BELA_HOME; doxygen &> /dev/null"
 error_handler $? "\nError while generating Doxygen documentation\n"
 
 #-------------