From 0756eb5399ef1a557fe3574b0c387a2ad8ff457d Mon Sep 17 00:00:00 2001
From: Matt Venn <matt@mattvenn.net>
Date: Wed, 19 Apr 2023 17:00:47 +0200
Subject: [PATCH] fix #9

---
 documentation.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/documentation.py b/documentation.py
index 423ee40..fbf02e0 100644
--- a/documentation.py
+++ b/documentation.py
@@ -62,6 +62,7 @@ def create_pdf(yaml):
     p = subprocess.run(pdf_cmd, shell=True)
     if p.returncode != 0:
         logging.error("pdf command failed")
+        exit(1)
 
 
 # SVG and PNG renders of the GDS