Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Correct and simplify access to Javadoc directory
The previous approach was needlessly complicated. It was also flat-out wrong, since it turned a property (rather than a property's value) into a `String` for use in a `File` name.
- Loading branch information