One doc tagged with "linux"

Supported platforms, how GPBT detects them, and the platform token values available at configure time.