diff options
-rw-r--r-- | Makefile | 3 | ||||
-rwxr-xr-x | distrib/debian/rules | 1 | ||||
-rw-r--r-- | man/coq-interface.1 | 37 | ||||
-rw-r--r-- | man/coqc.1 | 1 | ||||
-rw-r--r-- | man/coqtop.1 | 1 | ||||
-rw-r--r-- | man/parser.1 | 30 |
6 files changed, 71 insertions, 2 deletions
@@ -598,7 +598,8 @@ install-library: MANPAGES=man/coq-tex.1 man/coqdep.1 man/gallina.1 \ man/coqc.1 man/coqtop.1 man/coqtop.byte.1 man/coqtop.opt.1 \ - man/coq_makefile.1 man/coqmktop.1 + man/coq_makefile.1 man/coqmktop.1 \ + man/coq-interface.1 man/parser.1 install-manpages: $(MKDIR) $(FULLMANDIR)/man1 diff --git a/distrib/debian/rules b/distrib/debian/rules index 2dbe6b1dd..f17072384 100755 --- a/distrib/debian/rules +++ b/distrib/debian/rules @@ -46,7 +46,6 @@ install: build # Add here commands to install the package into debian/coq. $(MAKE) install COQINSTALLPREFIX=$(CURDIR)/debian/coq - # Build architecture-independent files here. binary-indep: build install # We have nothing to do by default. diff --git a/man/coq-interface.1 b/man/coq-interface.1 new file mode 100644 index 000000000..2ab2bf95f --- /dev/null +++ b/man/coq-interface.1 @@ -0,0 +1,37 @@ +.TH COQ 1 "April 25, 2001" + +.SH NAME +coq-interface \- + + +.SH SYNOPSIS +.B coq-interface +[ +.B options +] + +.SH DESCRIPTION + +.B coq-interface +is a Coq customized toplevel system for Coq containing some modules +useful for the graphical interface. This program is not for the casual +user. + +.SH OPTIONS + +.TP +.B \-h +Help. Will give you the complete list of options accepted by +coq-interface (the same as coqtop). + +.SH SEE ALSO + +.BR coqc (1), +.BR coqdep (1), +.BR coqtop (1), +.BR parser (1). +.br +.I +The Coq Reference Manual. +.I +The Coq web site: http://coq.inria.fr diff --git a/man/coqc.1 b/man/coqc.1 index 0535e6e29..741b3dcb8 100644 --- a/man/coqc.1 +++ b/man/coqc.1 @@ -40,6 +40,7 @@ coqtop. .SH SEE ALSO .BR coqtop (1), +.BR coq_makefile (1), .BR coqdep (1). .br .I diff --git a/man/coqtop.1 b/man/coqtop.1 index 9f5d8ac71..d75b283fd 100644 --- a/man/coqtop.1 +++ b/man/coqtop.1 @@ -30,6 +30,7 @@ Help. Will give you the complete list of options accepted by coqtop. .SH SEE ALSO .BR coqc (1), +.BR coq-tex (1), .BR coqdep (1). .br .I diff --git a/man/parser.1 b/man/parser.1 new file mode 100644 index 000000000..d89465d8c --- /dev/null +++ b/man/parser.1 @@ -0,0 +1,30 @@ +.TH COQ 1 "April 25, 2001" + +.SH NAME +parser \- Coq parser + + +.SH SYNOPSIS +.B parser +[ +.B options +] + +.SH DESCRIPTION + +.B parser +is a program reading Coq proof developments and outputing them in the +structured format given in the INRIA technical report RT154. This +program is not for the casual user. + +.SH SEE ALSO + +.BR coq-interface (1), +.BR coqc (1), +.BR coqtop (1), +.BR coqdep (1). +.br +.I +The Coq Reference Manual. +.I +The Coq web site: http://coq.inria.fr |