Fix JavaDoc generation (#1241)

JavaDoc cannot handle redirects so HTTP link does not work anymore.
It also looks like javadoc.options was the wrong thing to set.
Options properly connects external docs to ours.
Re-enabled warnings so these things will pop out if they turn up again.
This commit is contained in:
Austin Shalit
2018-07-29 12:28:41 -04:00
committed by Peter Johnson
parent 011f0ff536
commit 139b1720b2
2 changed files with 3 additions and 3 deletions

View File

@@ -20,7 +20,7 @@ import edu.wpi.first.wpilibj.CameraServerSharedStore;
*
* @see VisionPipeline
* @see VisionThread
* @see edu.wpi.first.wpilibj.vision
* @see <a href="package-summary.html">vision</a>
*/
public class VisionRunner<P extends VisionPipeline> {
private final CvSink m_cvSink = new CvSink("VisionRunner CvSink");