Revision 44a8dba7

View differences:

kernel/kernelsetup.sh
535 535 
#                 Warning: Issues occurred.
536 536 
#             -1
537 537 
#                 Error: Unexpected user input.
538 
#             -2
539 
#                 Error: Missing dependencies.
538 540 
#
539 541 
function documentation {
540 542 
  local userdir=$(pwd)
......
569 571 
    case "$option" in
570 572 
      # generate HTML documentation
571 573 
      g)
574 
        # check dependencies
575 
        checkCommands doxygen
576 
        if [ $? -ne 0 ]; then
577 
          printError "Missing dependencies detected.\n"
578 
          return -2
579 
        fi
580 

  		




  572
  581
  
    
        # ChibiOS/HAL: check if required files exis


  		




  573
  582
  
    
        if [ -f ${chibiosdir}/doc/hal/makehtml.sh ]; then


  		




  574
  583
  
    
          printInfo "generating ChibiOS/HAL documentation...\n"


  		












Also available in:  Unified diff