diff --git a/assignments/src/overview.html b/assignments/src/overview.html index 14aefa70f04b897ae49f1c6f6c935a47cf015122..8bd48f5a636327b46e38dc39533ba370c1b38c28 100644 --- a/assignments/src/overview.html +++ b/assignments/src/overview.html @@ -1,4 +1,5 @@ <html> + <!-- this page is used as part of javadoc autogeneration --> <body> <p> <!-- Note that javadoc throws an incorrect error regarding title attribute, but resulting HTML works as expected --> diff --git a/examples/src/overview.html b/examples/src/overview.html index 38e862289076f9a6ccd9639eca948b04503aa662..21433d260c303dbc915b29665036238462453b5c 100644 --- a/examples/src/overview.html +++ b/examples/src/overview.html @@ -1,4 +1,5 @@ <html> + <!-- this page is used as part of javadoc autogeneration --> <body> <p> <!-- Note that javadoc throws an incorrect error regarding title attribute, but resulting HTML works as expected -->