# HG changeset patch
# User ht
# Date 1448923817 0
# Node ID e851c0a4d5dc778945f17254a77c6acefdf269f6
# Parent  719e042e886bf7f3b7d733d9465c6078bec01457
remove a line??

diff -r 719e042e886b -r e851c0a4d5dc dtd/html-base.mod
--- a/dtd/html-base.mod	Mon Nov 30 22:46:02 2015 +0000
+++ b/dtd/html-base.mod	Mon Nov 30 22:50:17 2015 +0000
@@ -70,7 +70,6 @@
    tabindex    %Number;       #IMPLIED
    onfocus     %Script;       #IMPLIED
    onblur      %Script;       #IMPLIED
-   xml:link    CDATA          #FIXED  "simple"
    %a.extra;
    >
 
@@ -111,9 +110,8 @@
  <!ATTLIST p
    %attrs;
    n		CDATA		#IMPLIED
-   shownumber 	(yes|no) 	"no"
    %p.extra;
-   >
+   > <!-- What was this doing?    shownumber 	(yes|no) 	"no" HST 2009-12-23 -->
 
  <!--=================== Headings =========================================-->