2022-08-31 05:58:27 +08:00
|
|
|
plugins {
|
2022-10-01 13:58:20 +08:00
|
|
|
id 'base'
|
2023-01-27 11:00:11 +08:00
|
|
|
id 'org.antora' version '1.0.0'
|
2022-08-31 05:58:27 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
antora {
|
2023-01-11 15:52:03 +08:00
|
|
|
options = [clean: true, fetch: true, stacktrace: true]
|
2022-08-31 05:58:27 +08:00
|
|
|
}
|
