doc		Generate documentation in various formats, and/or validate it.