diff options
| author | Alexander Kriegisch <Alexander@Kriegisch.name> | 2024-01-04 08:29:34 +0700 |
|---|---|---|
| committer | Alexander Kriegisch <Alexander@Kriegisch.name> | 2024-01-06 10:09:11 +0100 |
| commit | f7962810eca3ddda75d64b85caab2449eeff480e (patch) | |
| tree | 1c6b31641f1e0b714afbb699cebfd1da3ccf96f8 /docs/build.xml | |
| parent | 0065b755292708d6fd27c067564ecef2b10ede04 (diff) | |
| download | aspectj-f7962810eca3ddda75d64b85caab2449eeff480e.tar.gz aspectj-f7962810eca3ddda75d64b85caab2449eeff480e.zip | |
Bulk-rename release read-me files to version numbers with dots
Also rename references. E.g.
- RELEASE-11 -> RELEASE-1.1
- RELEASE-1810 -> RELEASE-1.8.10
- RELEASE-1921 -> RELEASE-1.9.21
Signed-off-by: Alexander Kriegisch <Alexander@Kriegisch.name>
Diffstat (limited to 'docs/build.xml')
| -rw-r--r-- | docs/build.xml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/docs/build.xml b/docs/build.xml index 1f969df44..70799f969 100644 --- a/docs/build.xml +++ b/docs/build.xml @@ -155,11 +155,11 @@ /> </target> - <target name="web.deploy" depends="web.deploy.README-11" /> + <target name="web.deploy" depends="web.deploy.README-1.1" /> - <target name="web.deploy.README-11" + <target name="web.deploy.README-1.1" depends="init" - description="deploy README-11.html to the web site" + description="deploy README-1.1.html to the web site" > <property name="readme11.dir" location="${web.doc.dir}/documentation/readme11" @@ -168,7 +168,7 @@ <delete file="${readme11.dir}/index.html" /> <mkdir dir="${readme11.dir}" /> <copy tofile="${readme11.dir}/index.html" - file="${aspectj.products.dir}/tools/dist/README-11.html" + file="${aspectj.products.dir}/tools/dist/README-1.1.html" filtering="on" /> <stripnonbodyhtml srcdir="${readme11.dir}" |