$profile-os

$profile-os — Profile tokens for “os”

Parameter:

{}profile-os

Defined in:

param.xsl

Used in:

param.xsl

Synopsis

  |$profile-os := ''

The tokens (separated by $profile-separator) specified for $profile-os are matched against the values in the os attribute. See Section 2.7, Effectivity attributes and profiling.