DOCTYPE "HTML"                                   html-smv.dtd
DOCTYPE "-//SMV//DTD HTML 1.0//EN"               html-smv.dtd
DOCTYPE "-//SMV//DTD MANPAGE 1.0//EN"            manpage.dtd
DOCTYPE "-//SMV//DTD BOOKMARK 1.0//EN"           bookmark10.dtd
DOCTYPE "-//SMV//DTD BOOKMARK 1.1//EN"           bookmark11.dtd
DOCTYPE "-//SMV//DTD PLAIN 1.0//EN"              plain.dtd
DOCTYPE "memo"                                   memo.dtd
STYLE   "HTML"                                   html-smv.sty
STYLE   "-//SMV//DTD HTML 1.0//EN"               html-smv.sty
STYLE   "-//SMV//DTD MANPAGE 1.0//EN"            manpage.sty
STYLE   "-//SMV//DTD BOOKMARK 1.0//EN"           bookmark10.sty
STYLE   "-//SMV//DTD BOOKMARK 1.1//EN"           bookmark11.sty
STYLE   "-//SMV//DTD PLAIN 1.0//EN"              plain.sty
STYLE   "memo"                                   memo.sty
