From 3837588ecd989f534bc29b0933d37d1c4aa5000e Mon Sep 17 00:00:00 2001 From: Daniel Scalzi Date: Sat, 26 Nov 2022 23:21:38 -0500 Subject: [PATCH] Add doc. --- docs/distro.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/docs/distro.md b/docs/distro.md index 6637a1ef..d95062c6 100644 --- a/docs/distro.md +++ b/docs/distro.md @@ -208,6 +208,12 @@ The name of the module. Used on the UI. The type of the module. +### `Module.classpath: boolean` + +**OPTIONAL** + +If the module is of type `Library`, whether the library should be added to the classpath. Defaults to true. + ### `Module.required: Required` **OPTIONAL**