Skip to main content

The PreTeXt Guide

Subsection 44.4.9 HTML Platforms

element can have an attribute @platform with values:
  • web: the default, meant for self-hosting with no server configuration, features, or assumptions
  • runestone: output meant for hosting on a Runestone server (Chapter 32)
Here platform refers to the server where the HTML output will eventually be hosted. The effect is to create minor variations in the output to take advantage of extra features of the indicated platform.