tree 19ba563d6a1a675b39df0f6ccc3e62e178eeecf0
parent 0c54781bc5aaec1e23bc50a4ef757b8e8bfc693b
author Michael Witten <mfwitten@gmail.com> 1314295812 +0000
committer Michael Witten <mfwitten@gmail.com> 1314646229 +0000

DocBook/drm: Use a semicolon

Signed-off-by: Michael Witten <mfwitten@gmail.com>