Update DTD to match output after #1351. Fixes #2494.

nmap · Jun 28, 2022 · 2bd5dd3 · 2bd5dd3
1 parent c58b7b2
commit 2bd5dd3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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() -->