paparazzi/paparazzi — pull request #338 by monkeypants (2012-12-17 11:10:42+00:00)
Title: tweak gen_modules_doc.py

It should run from any directory if PAPARAZZI_HOME is not set. Was substituting cwd, but that would only work from some (one) specific directory.

Also, it should throw an error with invalid output directories, regardless of how they are chosen (explicitly from cli argument or implicitly from default). The managed error was only raised if the implicit default error was invalid. If an invalid output directory was passed as a command line argument, it would fail without grace (stack trace).