manual is a document type.