diff options
author | David E. O'Brien <obrien@FreeBSD.org> | 2002-10-17 00:32:33 +0000 |
---|---|---|
committer | David E. O'Brien <obrien@FreeBSD.org> | 2002-10-17 00:32:33 +0000 |
commit | 95152be7d8d120533a2308e144b5194b8a5c9ff3 (patch) | |
tree | 1c43689392d294f1bd9e6b5936e85e5e154a26d7 /graphics/dri-devel | |
parent | revert last commit. This builds fine here, and I've never seen one (diff) |
Allow one to use "WITH_DOCS=no" to avoid building them.
Diffstat (limited to 'graphics/dri-devel')
0 files changed, 0 insertions, 0 deletions