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).
[glossary]