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>