hal/hal/doc
