diff options
| author | Alexander Kriegisch <Alexander@Kriegisch.name> | 2024-01-06 13:19:49 +0700 |
|---|---|---|
| committer | Alexander Kriegisch <Alexander@Kriegisch.name> | 2024-01-06 10:09:11 +0100 |
| commit | 610d0ccf29f72757ec516f11f720405a8d2b695c (patch) | |
| tree | bba1467283ee6da1a751510d1b0f1c1c44d7af92 /docs/src | |
| parent | 4d884aac75b99f92c201b14fd4b4879a0fabc597 (diff) | |
| download | aspectj-610d0ccf29f72757ec516f11f720405a8d2b695c.tar.gz aspectj-610d0ccf29f72757ec516f11f720405a8d2b695c.zip | |
Remove obsolete DocBook build config in favour of Asciidoctor
Along with the Ant and Maven build configs, downloads of
- DocBook DTD,
- DocBook XSL,
- FOP,
- Batik,
- Saxon
also become obsolete.
Signed-off-by: Alexander Kriegisch <Alexander@Kriegisch.name>
Diffstat (limited to 'docs/src')
| -rw-r--r-- | docs/src/main/resources/local.properties | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/docs/src/main/resources/local.properties b/docs/src/main/resources/local.properties deleted file mode 100644 index a3cd6d2fe..000000000 --- a/docs/src/main/resources/local.properties +++ /dev/null @@ -1,12 +0,0 @@ -# for non-release builds, versions should all be DEVELOPMENT -# except for build.version.base -build.version=${project.version} -build.version.base=1.5 -build.version.long=${project.version} -build.version.short=${project.version} -# Repo version is for maven (as built with 'ant repo') -repo.version=1.6.4 -java11.home=c:/home/apps/jdk11 -java13.home=c:/home/apps/jdk13 -java14.home=c:/home/apps/jdk14 -java15.home=c:/home/apps/jdk15 |