← Back to branch summary

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

« back to all changes in this revision

Viewing changes to doc/Makefile.rt

  • 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:
doc/Makefile.rt
 
1
# Makefile for building Coq Technical Reports
 
2
 
 
3
# if coqc,coqtop,coq-tex are not in your PATH, you need the environment 
 
4
# variable COQBIN to be correctly set  
 
5
# (COQTOP is autodetected)
 
6
# (some files are preprocessed using Coq and some part of the documentation
 
7
# is automatically built from the theories sources)
 
8
 
 
9
# To compile documentation, you need the following tools:
 
10
# Dvi: latex (latex2e), bibtex, makeindex, dviselect (package RPM dviutils)
 
11
# Ps: dvips, psutils (ftp://ftp.dcs.ed.ac.uk/pub/ajcd/psutils.tar.gz)
 
12
# Pdf: pdflatex
 
13
# Html:
 
14
#   - hevea: http://para.inria.fr/~maranget/hevea/
 
15
#   - htmlSplit: http://coq.inria.fr/~delahaye
 
16
# Rapports INRIA: dviselect, rrkit (par Michel Mauny)
 
17
 
 
18
include ./Makefile
 
19
 
 
20
###################
 
21
# RT
 
22
###################
 
23
# Fabrication d'un RT INRIA (utilise rrkit de Michel Mauny)
 
24
rt/Reference-Manual-RT.dvi: refman/Reference-Manual.dvi rt/RefMan-cover.tex
 
25
        dviselect -i refman/Reference-Manual.dvi -o rt/RefMan-body.dvi 3:
 
26
        (cd rt; $(LATEX) RefMan-cover.tex)
 
27
        set a=`tail -1 refman/Reference-Manual.log`;\
 
28
        set a=expr \("$$a" : '.*(\(.*\) pages.*'\) % 2;\
 
29
        (cd rt; if $(TEST) "$$a = 0";\
 
30
         then rrkit  RefMan-cover.dvi RefMan-body.dvi Reference-Manual-RT.dvi;\
 
31
         else rrkit -odd RefMan-cover.dvi RefMan-body.dvi Reference-Manual-RT.dvi;\
 
32
        fi)
 
33
 
 
34
# Fabrication d'un RT INRIA (utilise rrkit de Michel Mauny)
 
35
rt/Tutorial-RT.dvi : tutorial/Tutorial.v.dvi rt/Tutorial-cover.tex
 
36
        dviselect -i rt/Tutorial.v.dvi -o rt/Tutorial-body.dvi 3:
 
37
        (cd rt; $(LATEX) Tutorial-cover.tex)
 
38
        set a=`tail -1 tutorial/Tutorial.v.log`;\
 
39
        set a=expr \("$$a" : '.*(\(.*\) pages.*'\) % 2;\
 
40
        (cd rt; if $(TEST) "$$a = 0";\
 
41
         then rrkit      Tutorial-cover.dvi Tutorial-body.dvi Tutorial-RT.dvi;\
 
42
         else rrkit -odd Tutorial-cover.dvi Tutorial-body.dvi Tutorial-RT.dvi;\
 
43
        fi)