diff --git a/documentation/build.gradle b/documentation/build.gradle index d90a4c52f..5034f5da4 100644 --- a/documentation/build.gradle +++ b/documentation/build.gradle @@ -98,8 +98,16 @@ task expandJavaDocIndexHtml(type: Copy) { ) } +task generateUserGuidePDF(type : Exec) { + dependsOn generateUserGuideToc + + workingDir "$buildDir/docs" + + commandLine 'pandoc', '--pdf-engine=xelatex', '-s', '-o', 'user-guide.pdf', 'user-guide.md' +} + task generateDocumentation { - dependsOn(generateUserGuideToc, generateJavaDoc, expandJavaDocIndexHtml) + dependsOn(generateUserGuideToc, generateJavaDoc, expandJavaDocIndexHtml, generateUserGuidePDF) doLast { String docsFolder = "${buildDir}/docs-${docsVersion(jqwikVersion)}" file(docsFolder).delete() @@ -150,4 +158,3 @@ dependencies { testImplementation("org.mockito:mockito-core:${mockitoVersion}") testImplementation("org.assertj:assertj-core:${assertJVersion}") } -