From 2bd5dd3a45ded5fbf2fa8f1c3d4a41bb77daa78b Mon Sep 17 00:00:00 2001
From: dmiller <dmiller@e0a8ed71-7df4-0310-8962-fdc924857419>
Date: Tue, 28 Jun 2022 17:40:30 +0000
Subject: [PATCH] Update DTD to match output after #1351. Fixes #2494.

---
 docs/nmap.dtd | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/nmap.dtd b/docs/nmap.dtd
index 55b953be0..74e777dbb 100644
--- a/docs/nmap.dtd
+++ b/docs/nmap.dtd
@@ -124,8 +124,8 @@
 			task		CDATA		#REQUIRED
 			time		%attr_numeric;	#REQUIRED
 			percent		%attr_percent;	#REQUIRED
-			remaining	%attr_numeric;	#REQUIRED
-			etc		%attr_numeric;	#REQUIRED
+			remaining	%attr_numeric;	#IMPLIED
+			etc		%attr_numeric;	#IMPLIED
 >
 
 <!-- this element is written in timing.c:beginOrEndTask() -->