changeset 429:8533f7198644 prerelease

Re-added Doxygen
author Giulio Moro <giuliomoro@yahoo.it>
date Thu, 16 Jun 2016 19:21:46 +0100
parents b27676f871d7
children 2e01a9d6cb58
files scripts/update_board.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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"
 
 #-------------