set (extra_files
    search.dtd
    searchhtml.xsl
    searchresult.xml
    search_v1_1.dtd
    search.xml
    search.xsl
    xsldoc.dtd
    xsldoc.txt
    xsldoc.xml
    xsldoc.xsl
)

install(FILES ${extra_files} DESTINATION ${HTML_INSTALL_DIR}/en/katexsldbg)