diff --git a/setup/apidoc/gen_toc.py b/setup/apidoc/gen_toc.py index f7a34eb6341..9c84e1eaaa7 100644 --- a/setup/apidoc/gen_toc.py +++ b/setup/apidoc/gen_toc.py @@ -132,6 +132,7 @@ def choose_category(fn): return v raise Exception('Need to add a category for %s to %s:known_categories' % (fn, __file__)) + sys.exit(1) for f in sys.argv: