Update OpenJDK documentation (19)

pull/1833/head
Simon Legner 2 years ago
parent dbd1637d47
commit 4913f97edf

@ -176,6 +176,13 @@ Search 'Openjdk' in https://www.debian.org/distrib/packages, find the `openjdk-$
download it, extract it with `dpkg -x $PACKAGE ./` and move `./usr/share/doc/openjdk-16-jre-headless/api/` download it, extract it with `dpkg -x $PACKAGE ./` and move `./usr/share/doc/openjdk-16-jre-headless/api/`
to `path/to/devdocs/docs/openjdk~$VERSION` to `path/to/devdocs/docs/openjdk~$VERSION`
```
curl http://ftp.at.debian.org/debian/pool/main/o/openjdk-19/openjdk-19-doc_19+36-2_all.deb &&
tar xf openjdk-19-doc_19+36-2_all.deb
tar xf data.tar.xz
mv ./usr/share/doc/openjdk-19-jre-headless/api/ path/to/devdocs/docs/openjdk~$VERSION
```
If you use or have access to a Debian-based GNU/Linux distribution you can run the following command: If you use or have access to a Debian-based GNU/Linux distribution you can run the following command:
```sh ```sh
apt download openjdk-$VERSION-doc apt download openjdk-$VERSION-doc

@ -37,6 +37,16 @@ module Docs
NEWFILTERS = ['openjdk/entries_new', 'openjdk/clean_html_new'] NEWFILTERS = ['openjdk/entries_new', 'openjdk/clean_html_new']
version '19' do
self.release = '19'
self.root_path = 'index.html'
self.base_url = 'https://docs.oracle.com/en/java/javase/19/docs/api/'
html_filters.push NEWFILTERS
options[:container] = 'main'
end
version '18' do version '18' do
self.release = '18' self.release = '18'
self.root_path = 'index.html' self.root_path = 'index.html'

Loading…
Cancel
Save