$profile-os
$profile-os — Profile tokens for “os”
Parameter:
{}profile-os
Defined in:
param.xsl
Used in:
param.xsl
Synopsis
|$profile-os := ''
Description
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”.