directory /make/data/dtdbuilder/ @ 9872:b7576650c22f

name size permissions
[up] drwxr-xr-x
file HTMLlat1.sgml 11955 -rw-r--r--
file HTMLspecial.sgml 4113 -rw-r--r--
file HTMLsymbol.sgml 14446 -rw-r--r--
file html32.dtd 35807 -rw-r--r--
file public.map 456 -rw-r--r--