changeset 55673 | 0bf678dd8951 |
parent 55651 | 45fc36beb0aa |
child 55675 | a33465cf8774 |
--- a/make/Docs.gmk Fri Jul 12 10:39:19 2019 -0700 +++ b/make/Docs.gmk Fri Jul 12 10:44:11 2019 -0700 @@ -553,7 +553,7 @@ $(eval specs_bottom_rel_path := $(specs_bottom_rel_path)../) \ ) -SPECS_TOP := $(if $(filter true, $(IS_DRAFT)), <div class="draft-header">$(DRAFT_TEXT)</div>) +SPECS_TOP := $(if $(filter true, $(IS_DRAFT)), <header class="draft-header">$(DRAFT_TEXT)</header>) # For all html files in $module/share/specs directories, copy and add the # copyright footer.