diff options
| author | Jesse Barnes <jbarnes@virtuousgeek.org> | 2013-01-09 17:28:41 -0800 |
|---|---|---|
| committer | Jesse Barnes <jbarnes@virtuousgeek.org> | 2013-01-09 17:28:41 -0800 |
| commit | 1dbd873700f281d9773e64931ff0c1cf96e13793 (patch) | |
| tree | a0d6efc6d86f81365e1c927b98e3e5ba6b7e000d /man/drmModeGetResources.xml | |
| parent | fd6b369d39bc710acf56632a292308eb4e23d6db (diff) | |
man: disable man page building until David saves us all
I must have botched something in the push of the xml switchover, since I
now get errors when building the pages and aliases. Just disable for
now.
Diffstat (limited to 'man/drmModeGetResources.xml')
0 files changed, 0 insertions, 0 deletions