From 3519d28d914ef26b0e221894ef449586923e2fb8 Mon Sep 17 00:00:00 2001 From: William Deegan Date: Mon, 6 Jul 2020 11:44:40 -0700 Subject: Add fix for bin/docs-update-generated.py --- bin/docs-update-generated.py | 1 + 1 file changed, 1 insertion(+) diff --git a/bin/docs-update-generated.py b/bin/docs-update-generated.py index bb5371f..9fbd95c 100644 --- a/bin/docs-update-generated.py +++ b/bin/docs-update-generated.py @@ -62,6 +62,7 @@ def generate_all(): if cp.returncode: print("Generation failed", file=sys.stderr) return False + return True if __name__ == "__main__": -- cgit v0.12