chore: with the new java, this is no longer needed

dialex · May 29, 2022 · 942f7d1 · 942f7d1
1 parent 17bfbbb
commit 942f7d1
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/RUNBOOK.md b/.github/RUNBOOK.md
@@ -25,13 +25,11 @@ How to do stuff
 ## Generate Javadoc
 
 ```sh
-jenv shell 16
 mvn javadoc:javadoc
 rm -r docs
 cp -R target/site/apidocs docs
 git add .
 git commit -m "doc: update javadoc to latest version"
-jenv shell 1.8
 ```
 
 - Locally,