diff options
| author | coq | 2002-10-05 11:02:02 +0000 |
|---|---|---|
| committer | coq | 2002-10-05 11:02:02 +0000 |
| commit | 384d390aba51aad66cde090be3b7a17a5a569f78 (patch) | |
| tree | 16c72d50c2f07c6b5d39d340a5d5be6ee7a02109 /doc/Makefile | |
| parent | c4db7eed5a1932a72466da2e31d86d362081f649 (diff) | |
Doc module, premiere version
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8297 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index e66171180d..187c48e4aa 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -13,7 +13,7 @@ # - htmlSplit: http://coq.inria.fr/~delahaye # Rapports INRIA: dviselect, rrkit (par Michel Mauny) -DOCCOQTOP=$(COQBIN)/coqtop.byte +DOCCOQTOP=$(COQBIN)/coqtop #.byte DOCCOQC=$(COQBIN)/coqc COQTEX=$(COQBIN)/coq-tex -image $(DOCCOQTOP) -v -sl -small #COQWEBSTY=$(HOME)/lib/tex/ @@ -35,7 +35,7 @@ LIBFILES=library/Logic.tex library/Datatypes.tex library/Peano.tex \ library/Wf.tex library/Specif.tex REFMANCOQTEXFILES=\ - RefMan-gal.v.tex RefMan-ext.v.tex RefMan-tac.v.tex \ + RefMan-gal.v.tex RefMan-ext.v.tex RefMan-mod.v.tex RefMan-tac.v.tex \ RefMan-cic.v.tex RefMan-lib.v.tex RefMan-tacex.v.tex \ RefMan-syn.v.tex RefMan-ltac.v.tex RefMan-oth.v.tex @@ -45,6 +45,7 @@ COQTEXFILES= Cases.v.tex Coercion.v.tex Extraction.v.tex Program.v.tex\ REFMANFILES= Reference-Manual.tex RefMan-pre.tex RefMan-int.tex \ RefMan-pro.tex RefMan-com.tex RefMan-uti.tex RefMan-add.tex \ + RefMan-modr.tex \ $(REFMANCOQTEXFILES) REFMAN=Reference-Manual |