P4 Name: boT120536 Date: 02/22/2001
java version "1.3.1-beta"
Java(TM) 2 Runtime Environment, Standard Edition (build 1.3.1-beta-b15)
Java HotSpot(TM) Client VM (build 1.3.1beta-b15, mixed mode)
Java Source Code (Empty.java):
public class Empty { }
Steps to Reproduce:
javadoc Empty
The generated index-all.html file contains the DOCTYPE:
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0
Frameset//EN""http://www.w3.org/TR/REC-html40/frameset.dtd">
But the index-all.html file is not a Frameset document, so should have the
following DOCTYPE instead:
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01
Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
(Review ID: 117408)
======================================================================