doc

doc /dok/ n.  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).



HTML Conversion by AG2HTML.pl V2.94618 & witbrock@cs.cmu.edu