← Back to branch summary

~ubuntu-branches/debian/wheezy/texlive-extra/wheezy

« back to all changes in this revision

Viewing changes to texmf-dist/doc/latex/cmastro/astro.sty

  • Committer: Bazaar Package Importer
  • Author(s): Norbert Preining
  • Date: 2008-11-24 14:20:36 UTC
  • mfrom: (1.2.5 upstream)
  • Revision ID: james.westby@ubuntu.com-20081124142036-b19n8209gdut919x
Tags: 2007.dfsg.10-1
http://bugs.debian.org/505283
http://bugs.debian.org/443884
http://bugs.debian.org/504494
http://bugs.debian.org/466697
* blacklist cellular, it does not have any license info and the author
  is not contactable anymore (Closes: #505283)
  (RC, urgency thus medium)
* blacklist cmastro, no license info, author unknown (no bug report, but RC)
  This closes also the "pk files in doc hierarchy" bug (Closes: #443884)
* blacklist china2e, nosell license (no bug report, but RC)
* reinstantiate calligra after license issues have been cleared
  up and add an entry to the Licenses file (via Licenses.add)
* formats-extra suggests plain-extra for miniltx.tex (Closes: #504494)
* add license statements for eqlist, varindex, toolbox, ushort, guitar,
  ziffer (Closes: #466697)

Show diffs side-by-side

added added

removed removed

Lines of Context:
texmf-dist/doc/latex/cmastro/astro.sty
1
 
% astro.sty: LaTeX style option to load CMASTRO fonts and define the symbols
2
 
%
3
 
% NOTE: uses the old font selection scheme...
4
 
%
5
 
\input astro.tex
6
 
%
7
 
\def\astro{\protect\pastro}
8
 
%
9
 
\@addfontinfo\@vpt{%
10
 
 \def\pastro{\fam\astrofam\fiveastro}\textfont\astrofam=\fiveastro
11
 
 \scriptfont\astrofam=\fiveastro \scriptscriptfont\astrofam=\fiveastro}
12
 
%
13
 
\@addfontinfo\@vipt{%
14
 
 \def\pastro{\fam\astrofam\sixastro}\textfont\astrofam=\sixastro
15
 
 \scriptfont\astrofam=\fiveastro \scriptscriptfont\astrofam=\fiveastro}
16
 
%
17
 
\@addfontinfo\@viipt{%
18
 
 \def\pastro{\fam\astrofam\sevenastro}\textfont\astrofam=\sevenastro
19
 
 \scriptfont\astrofam=\fiveastro \scriptscriptfont\astrofam=\fiveastro}
20
 
%
21
 
\@addfontinfo\@viiipt{%
22
 
 \def\pastro{\fam\astrofam\eightastro}\textfont\astrofam=\eightastro
23
 
 \scriptfont\astrofam=\sixastro \scriptscriptfont\astrofam=\fiveastro}
24
 
%
25
 
\@addfontinfo\@ixpt{%
26
 
 \def\pastro{\fam\astrofam\nineastro}\textfont\astrofam=\nineastro
27
 
 \scriptfont\astrofam=\sevenastro \scriptscriptfont\astrofam=\fiveastro}
28
 
%
29
 
\@addfontinfo\@xpt{%
30
 
 \def\pastro{\fam\astrofam\tenastro}\textfont\astrofam=\tenastro
31
 
 \scriptfont\astrofam=\sevenastro \scriptscriptfont\astrofam=\fiveastro}
32
 
%
33
 
\@addfontinfo\@xipt{%
34
 
 \def\pastro{\fam\astrofam\elevenastro}\textfont\astrofam=\elevenastro
35
 
 \scriptfont\astrofam=\eightastro \scriptscriptfont\astrofam=\sixastro}
36
 
%
37
 
\@addfontinfo\@xiipt{%
38
 
 \def\pastro{\fam\astrofam\twelveastro}\textfont\astrofam=\twelveastro
39
 
 \scriptfont\astrofam=\eightastro \scriptscriptfont\astrofam=\sixastro}
40
 
%
41
 
\@addfontinfo\@xivpt{%
42
 
 \def\pastro{\fam\astrofam\fourteenastro}\textfont\astrofam=\fourteenastro
43
 
 \scriptfont\astrofam=\tenastro \scriptscriptfont\astrofam=\sevenastro}
44
 
%
45
 
\@addfontinfo\@xviipt{%
46
 
 \def\pastro{\fam\astrofam\seventeenastro}\textfont\astrofam=\seventeenastro
47
 
 \scriptfont\astrofam=\twelveastro \scriptscriptfont\astrofam=\eightastro}
48
 
%
49
 
\@addfontinfo\@xxpt{%
50
 
 \def\pastro{\fam\astrofam\twentyastro}\textfont\astrofam=\twentyastro
51
 
 \scriptfont\astrofam=\fourteenastro \scriptscriptfont\astrofam=\twelveastro}
52
 
%
53
 
\@addfontinfo\@xxvpt{%
54
 
 \def\pastro{\fam\astrofam\twentyfiveastro}\textfont\astrofam=\twentyfiveastro
55
 
 \scriptfont\astrofam=\seventeenastro \scriptscriptfont\astrofam=\fourteenastro}