polyglot:多语言HTML5XML的转换工具和OCaml库

多种语言 polyglot是将XHTML转换为polyglot HTML5的过滤器。 这是一个命令，也是MirageOS兼容的OCaml库。 要从命令行使用多语言，只需 $ polyglot < input.xhtml > output.html 然后将input.xhtml转换为多语言HTML5，并将结果发送到output.html 。 修改项 polyglot会将非无效HTML元素转换为空而不是自闭标签。 如果尚未提供， polyglot将引入HTML5 DTD。