summaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authorChris Wilson <chris@chris-wilson.co.uk>2014-09-27 09:37:18 +0100
committerChris Wilson <chris@chris-wilson.co.uk>2014-09-27 16:39:40 +0100
commit38e8c9104265440242dac2f0ef5b8c619a285be7 (patch)
tree27d72aa9d1d8f8ad4474b4a64c451f67fc20ee04 /man
parentf785035d5bd42a778d4be0bf3ff8678bd7a7e503 (diff)
man: Document the extended values supported by Option "DRI"
Signed-off-by: Chris Wilson <chris@chris-wilson.co.uk>
Diffstat (limited to 'man')
-rw-r--r--man/intel.man9
1 files changed, 6 insertions, 3 deletions
diff --git a/man/intel.man b/man/intel.man
index 89f3b326..13fba270 100644
--- a/man/intel.man
+++ b/man/intel.man
@@ -65,10 +65,13 @@ This sets the default pixel value for the YUV video overlay key.
.IP
Default: undefined.
.TP
-.BI "Option \*qDRI\*q \*q" boolean \*q
-Disable or enable DRI support.
+.BI "Option \*qDRI\*q \*q" string \*q
+Disable or enable DRI support. A driver name to use can be provided instead
+of simple boolean value, which will be passed to the GL implementation for
+it to load the appropriate backend. Alternatively the maximum level of DRI
+to enable (e.g. "1", "2" or "3") can be specified.
.IP
-Default: DRI is enabled for configurations where it is supported.
+Default: All levels of DRI are enabled for configurations where it is supported.
.PP
The following driver