From 47ec3bf36985d3da6b38acfaecb2d341595d4a51 Mon Sep 17 00:00:00 2001
From: nick_battle <nick.battle@gmail.com>
Date: Tue, 17 Dec 2024 22:35:46 +0000
Subject: [PATCH] Add quickcheck to packaging docs

---
 packaging/assembly.xml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/packaging/assembly.xml b/packaging/assembly.xml
index 57f1d4724..8a06998a0 100644
--- a/packaging/assembly.xml
+++ b/packaging/assembly.xml
@@ -38,7 +38,8 @@
 				<include>vdmj/documentation/*.pdf</include>
 				<include>annotations/documentation/*.pdf</include>
 				<include>lsp/documentation/*.pdf</include>
-			</includes>
+				<include>quickcheck/documentation/*.pdf</include>
+		</includes>
 		</fileSet>
 	</fileSets>