coqdoc is a documentation tool for Coq

The invocation is

	coqdoc <options and files>

"coqdoc --help" lists the options.

See the enclosed manual for details.


COPYRIGHT
=========

This program is distributed under the GNU GPL. 
See the enclosed file COPYING.