Common spoken and written shorthand for ‘documentation’. Often used in the plural docs and in the construction doc file (i.e., documentation available on-line).