[paparazzi-commits] [paparazzi/paparazzi] 6976f6: if PAPARAZZI_HOME not set, guess reasonable substi...

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/paparazzi/paparazzi
  Commit: 6976f6abcf609a6f98ee02495f3cb1029242a89d
      
https://github.com/paparazzi/paparazzi/commit/6976f6abcf609a6f98ee02495f3cb1029242a89d
  Author: Chris Gough <address@hidden>
  Date:   2012-12-17 (Mon, 17 Dec 2012)

  Changed paths:
    M sw/tools/doxygen_gen/gen_modules_doc.py

  Log Message:
  -----------
  if PAPARAZZI_HOME not set, guess reasonable substitute regardless of cwd.


  Commit: 4c51f2c21da78520f3af7ac4de3d708ff710ba69
      
https://github.com/paparazzi/paparazzi/commit/4c51f2c21da78520f3af7ac4de3d708ff710ba69
  Author: Chris Gough <address@hidden>
  Date:   2012-12-17 (Mon, 17 Dec 2012)

  Changed paths:
    M sw/tools/doxygen_gen/gen_modules_doc.py

  Log Message:
  -----------
  invalid modules_dir should be fatal, even if explicitly passed in as cli 
argument.


Compare: 
https://github.com/paparazzi/paparazzi/compare/34b46d272bc0...4c51f2c21da7