diff -urN hugs98-plus-Sep2006.org/docs/users_guide/users_guide.xml hugs98-plus-Sep2006/docs/users_guide/users_guide.xml --- hugs98-plus-Sep2006.org/docs/users_guide/users_guide.xml 2005-07-13 18:47:51.000000000 +0100 +++ hugs98-plus-Sep2006/docs/users_guide/users_guide.xml 2009-05-23 06:36:59.000000000 +0100 @@ -1,6 +1,5 @@ @@ -13,12 +12,10 @@ + "ISO 8879:1986//ENTITIES Publishing//EN//XML"> %ISOpub; + "ISO 8879:1986//ENTITIES General Technical//EN//XML"> %ISOtech; ]>