make/data/dtdbuilder/public.map
author phh
Sat, 30 Nov 2019 14:33:05 -0800
changeset 59330 5b96c12f909d
parent 47216 71c04702a3d5
permissions -rw-r--r--
8234541: C1 emits an empty message when it inlines successfully Summary: Use "inline" as the message when successfull Reviewed-by: thartmann, mdoerr Contributed-by: navy.xliu@gmail.com
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
     1
-- ISO latin 1 entity set for HTML -- 
90ce3da70b43 Initial load
duke
parents:
diff changeset
     2
PUBLIC	"-//W3C//ENTITIES Latin 1//EN//HTML"            HTMLlat1.sgml
90ce3da70b43 Initial load
duke
parents:
diff changeset
     3
90ce3da70b43 Initial load
duke
parents:
diff changeset
     4
-- Mathematical, Greek and Symbolic characters for HTML --
90ce3da70b43 Initial load
duke
parents:
diff changeset
     5
PUBLIC	"-//W3C//ENTITIES Symbols//EN//HTML"            HTMLsymbol.sgml
90ce3da70b43 Initial load
duke
parents:
diff changeset
     6
90ce3da70b43 Initial load
duke
parents:
diff changeset
     7
-- Special characters for HTML --
90ce3da70b43 Initial load
duke
parents:
diff changeset
     8
PUBLIC	"-//W3C//ENTITIES Special//EN//HTML"            HTMLspecial.sgml
90ce3da70b43 Initial load
duke
parents:
diff changeset
     9
90ce3da70b43 Initial load
duke
parents:
diff changeset
    10
-- HotJava - 3.2+ support --
90ce3da70b43 Initial load
duke
parents:
diff changeset
    11
PUBLIC  "-//HotJava//DTD HotJava 1.0 HTML 3.2 Draft 19960821//EN"   html32.dtd
90ce3da70b43 Initial load
duke
parents:
diff changeset
    12