← Back to branch summary

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

« back to all changes in this revision

Viewing changes to refman/headers.tex

  • 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:
refman/headers.tex
1
 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2
 
% File title.tex
3
 
% Pretty Headers
4
 
% And commands for multiple indexes
5
 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
6
 
\usepackage{fancyhdr}
7
 
 
8
 
\setlength{\headheight}{14pt}
9
 
 
10
 
\pagestyle{fancyplain}
11
 
 
12
 
\newcommand{\coqfooter}{\tiny Coq Reference Manual, V\coqversion{}, \today}
13
 
 
14
 
\cfoot{}
15
 
\lfoot[{\coqfooter}]{}
16
 
\rfoot[]{{\coqfooter}}
17
 
 
18
 
\newcommand{\setheaders}[1]{\rhead[\fancyplain{}{\textbf{#1}}]{\fancyplain{}{\thepage}}\lhead[\fancyplain{}{\thepage}]{\fancyplain{}{\textbf{#1}}}}
19
 
\newcommand{\defaultheaders}{\rhead[\fancyplain{}{\leftmark}]{\fancyplain{}{\thepage}}\lhead[\fancyplain{}{\thepage}]{\fancyplain{}{\rightmark}}}
20
 
 
21
 
\renewcommand{\chaptermark}[1]{\markboth{{\bf \thechapter~#1}}{}}
22
 
\renewcommand{\sectionmark}[1]{\markright{\thesection~#1}}
23
 
%BEGIN LATEX
24
 
\renewcommand{\contentsname}{%
25
 
\protect\setheaders{Table of contents}Table of contents}
26
 
\renewcommand{\bibname}{\protect\setheaders{Bibliography}%
27
 
\protect\RefManCutCommand{BEGINBIBLIO=\thepage}%
28
 
\protect\addcontentsline{toc}{chapter}{Bibliography}Bibliography}
29
 
%END LATEX
30
 
 
31
 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
32
 
% For the Addendum table of contents
33
 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
34
 
\newcommand{\aauthor}[1]{{\LARGE \bf #1} \bigskip \bigskip \bigskip}
35
 
\makeatletter
36
 
%BEGIN LATEX
37
 
\newcommand{\atableofcontents}{\section*{Contents}\@starttoc{atoc}}
38
 
\newcommand{\achapter}[1]{
39
 
  \chapter{#1}\addcontentsline{atoc}{chapter}{#1}}
40
 
\newcommand{\asection}[1]{
41
 
  \section{#1}\addcontentsline{atoc}{section}{#1}}
42
 
\newcommand{\asubsection}[1]{
43
 
  \subsection{#1}\addcontentsline{atoc}{subsection}{#1}}
44
 
\newcommand{\asubsubsection}[1]{
45
 
  \subsubsection{#1}\addcontentsline{atoc}{subsubsection}{#1}}
46
 
%END LATEX
47
 
%HEVEA \newcommand{\atableofcontents}{}
48
 
%HEVEA \newcommand{\achapter}[1]{\chapter{#1}}
49
 
%HEVEA \newcommand{\asection}{\section}
50
 
%HEVEA \newcommand{\asubsection}{\subsection}
51
 
%HEVEA \newcommand{\asubsubsection}{\subsubsection}
52
 
 
53
 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
54
 
% Reference-Manual.sh is generated to cut the Postscript
55
 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
56
 
%\@starttoc{sh}
57
 
%BEGIN LATEX
58
 
\newwrite\RefManCut@out%
59
 
\immediate\openout\RefManCut@out\jobname.sh
60
 
\newcommand{\RefManCutCommand}[1]{%
61
 
\immediate\write\RefManCut@out{#1}}
62
 
\newcommand{\RefManCutClose}{%
63
 
\immediate\closeout\RefManCut@out}
64
 
%END LATEX
65
 
 
66
 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
67
 
% Commands for indexes
68
 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
69
 
\usepackage{index}
70
 
\makeindex
71
 
\newindex{tactic}{tacidx}{tacind}{%
72
 
\protect\setheaders{Tactics Index}%
73
 
\protect\addcontentsline{toc}{chapter}{Tactics Index}Tactics Index}
74
 
 
75
 
\newindex{command}{comidx}{comind}{%
76
 
\protect\setheaders{Vernacular Commands Index}%
77
 
\protect\addcontentsline{toc}{chapter}{Vernacular Commands Index}%
78
 
Vernacular Commands Index}
79
 
 
80
 
\newindex{error}{erridx}{errind}{%
81
 
\protect\setheaders{Index of Error Messages}%
82
 
\protect\addcontentsline{toc}{chapter}{Index of Error Messages}Index of Error Messages}
83
 
 
84
 
\renewindex{default}{idx}{ind}{%
85
 
\protect\addcontentsline{toc}{chapter}{Global Index}%
86
 
\protect\setheaders{Global Index}Global Index}
87
 
 
88
 
\newcommand{\tacindex}[1]{%
89
 
\index{#1@\texttt{#1}}\index[tactic]{#1@\texttt{#1}}}
90
 
\newcommand{\comindex}[1]{%
91
 
\index{#1@\texttt{#1}}\index[command]{#1@\texttt{#1}}}
92
 
\newcommand{\errindex}[1]{\texttt{#1}\index[error]{#1}}
93
 
\newcommand{\errindexbis}[2]{\texttt{#1}\index[error]{#2}}
94
 
\newcommand{\ttindex}[1]{\index{#1@\texttt{#1}}}
95
 
\makeatother
96
 
 
97
 
 
98
 
 
99
 
%%% Local Variables: 
100
 
%%% mode: latex
101
 
%%% TeX-master: "Reference-Manual"
102
 
%%% End: