← Back to branch summary

~ubuntu-branches/ubuntu/wily/coq-doc/wily

« back to all changes in this revision

Viewing changes to man/coqc.1

  • Committer: Bazaar Package Importer
  • Author(s): Stéphane Glondu, Stéphane Glondu, Samuel Mimram
  • Date: 2010-01-07 22:50:39 UTC
  • mfrom: (1.2.2 upstream)
  • Revision ID: james.westby@ubuntu.com-20100107225039-n3cq82589u0qt0s2
Tags: 8.2pl1-1
http://bugs.debian.org/563669
http://bugs.debian.org/543545
[ Stéphane Glondu ]
* New upstream release (Closes: #563669)
  - remove patches
* Packaging overhaul:
  - use git, advertise it in Vcs-* fields of debian/control
  - use debhelper 7 and dh with override
  - use source format 3.0 (quilt)
* debian/control:
  - set Maintainer to d-o-m, set Uploaders to Sam and myself
  - add Homepage field
  - bump Standards-Version to 3.8.3
* Register PDF documentation into doc-base
* Add debian/watch
* Update debian/copyright

[ Samuel Mimram ]
* Change coq-doc's description to mention that it provides documentation in
  pdf format, not postscript, closes: #543545.

Show diffs side-by-side

added added

removed removed

Lines of Context:
man/coqc.1
 
1
.TH COQ 1 "April 25, 2001"
 
2
 
 
3
.SH NAME
 
4
coqc \- The Coq Proof Assistant compiler
 
5
 
 
6
 
 
7
.SH SYNOPSIS
 
8
.B coqc
 
9
[
 
10
.B general \ Coq \ options
 
11
]
 
12
.I file
 
13
 
 
14
 
 
15
.SH DESCRIPTION
 
16
 
 
17
.B coqc
 
18
is the batch compiler for the Coq Proof Assistant.
 
19
The options are basically the same as coqtop(1).
 
20
.IR file.v \&
 
21
is the vernacular file to compile.
 
22
.IR file \& 
 
23
must be formed
 
24
only with the characters `a` to  `Z`, `0`-`9` or `_` and must begin
 
25
with a letter.
 
26
The compiler produces an object file
 
27
.IR file.vo \&.
 
28
 
 
29
For interactive use of Coq, see 
 
30
.BR coqtop(1).
 
31
 
 
32
 
 
33
.SH OPTIONS
 
34
 
 
35
.B coqc
 
36
is a script that simply runs
 
37
.B coqtop
 
38
with option 
 
39
.B \-compile
 
40
it accepts the same options as
 
41
.B coqtop.
 
42
 
 
43
.SH SEE ALSO
 
44
 
 
45
.BR coqtop (1),
 
46
.BR coq_makefile (1),
 
47
.BR coqdep (1).
 
48
.br
 
49
.I
 
50
The Coq Reference Manual.
 
51
.I
 
52
The Coq web site: http://coq.inria.fr