From c30b6754b0a8b226c405b2d37a6e7e7f73ef003f Mon Sep 17 00:00:00 2001
From: brutzman <brutzman@nps.edu>
Date: Sun, 30 Apr 2023 12:48:07 -0700
Subject: [PATCH] pages used as part of javadoc autogeneration
---
assignments/src/overview.html | 1 +
examples/src/overview.html | 1 +
2 files changed, 2 insertions(+)
diff --git a/assignments/src/overview.html b/assignments/src/overview.html
index 14aefa70f0..8bd48f5a63 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 38e8622890..21433d260c 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 -->
--
GitLab