5.11. Translating Html

Interscript normally reads Interscript. But it can also read (a small subset of) HTML. The command:
  @include_html(filename)
will read an HTML file and translate the tags to Interscript. In this manner, you can convert flat HTML into stacked HTML, or into Latex or plain text.