summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/cmastro/astro.sty
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2007-09-23 22:58:35 +0000
committerKarl Berry <karl@freefriends.org>2007-09-23 22:58:35 +0000
commit176c99187ee70158997854df304165156714371f (patch)
tree6b906943ec6f6f34e5eb88ef086726244b06802d /Master/texmf-dist/doc/latex/cmastro/astro.sty
parentcc919e2b7da0e20c4cbb6de976048e0613a17171 (diff)
cmastro rearrange
git-svn-id: svn://tug.org/texlive/trunk@5022 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/cmastro/astro.sty')
-rw-r--r--Master/texmf-dist/doc/latex/cmastro/astro.sty55
1 files changed, 0 insertions, 55 deletions
diff --git a/Master/texmf-dist/doc/latex/cmastro/astro.sty b/Master/texmf-dist/doc/latex/cmastro/astro.sty
deleted file mode 100644
index ffdfbf6f8ed..00000000000
--- a/Master/texmf-dist/doc/latex/cmastro/astro.sty
+++ /dev/null
@@ -1,55 +0,0 @@
-% astro.sty: LaTeX style option to load CMASTRO fonts and define the symbols
-%
-% NOTE: uses the old font selection scheme...
-%
-\input astro.tex
-%
-\def\astro{\protect\pastro}
-%
-\@addfontinfo\@vpt{%
- \def\pastro{\fam\astrofam\fiveastro}\textfont\astrofam=\fiveastro
- \scriptfont\astrofam=\fiveastro \scriptscriptfont\astrofam=\fiveastro}
-%
-\@addfontinfo\@vipt{%
- \def\pastro{\fam\astrofam\sixastro}\textfont\astrofam=\sixastro
- \scriptfont\astrofam=\fiveastro \scriptscriptfont\astrofam=\fiveastro}
-%
-\@addfontinfo\@viipt{%
- \def\pastro{\fam\astrofam\sevenastro}\textfont\astrofam=\sevenastro
- \scriptfont\astrofam=\fiveastro \scriptscriptfont\astrofam=\fiveastro}
-%
-\@addfontinfo\@viiipt{%
- \def\pastro{\fam\astrofam\eightastro}\textfont\astrofam=\eightastro
- \scriptfont\astrofam=\sixastro \scriptscriptfont\astrofam=\fiveastro}
-%
-\@addfontinfo\@ixpt{%
- \def\pastro{\fam\astrofam\nineastro}\textfont\astrofam=\nineastro
- \scriptfont\astrofam=\sevenastro \scriptscriptfont\astrofam=\fiveastro}
-%
-\@addfontinfo\@xpt{%
- \def\pastro{\fam\astrofam\tenastro}\textfont\astrofam=\tenastro
- \scriptfont\astrofam=\sevenastro \scriptscriptfont\astrofam=\fiveastro}
-%
-\@addfontinfo\@xipt{%
- \def\pastro{\fam\astrofam\elevenastro}\textfont\astrofam=\elevenastro
- \scriptfont\astrofam=\eightastro \scriptscriptfont\astrofam=\sixastro}
-%
-\@addfontinfo\@xiipt{%
- \def\pastro{\fam\astrofam\twelveastro}\textfont\astrofam=\twelveastro
- \scriptfont\astrofam=\eightastro \scriptscriptfont\astrofam=\sixastro}
-%
-\@addfontinfo\@xivpt{%
- \def\pastro{\fam\astrofam\fourteenastro}\textfont\astrofam=\fourteenastro
- \scriptfont\astrofam=\tenastro \scriptscriptfont\astrofam=\sevenastro}
-%
-\@addfontinfo\@xviipt{%
- \def\pastro{\fam\astrofam\seventeenastro}\textfont\astrofam=\seventeenastro
- \scriptfont\astrofam=\twelveastro \scriptscriptfont\astrofam=\eightastro}
-%
-\@addfontinfo\@xxpt{%
- \def\pastro{\fam\astrofam\twentyastro}\textfont\astrofam=\twentyastro
- \scriptfont\astrofam=\fourteenastro \scriptscriptfont\astrofam=\twelveastro}
-%
-\@addfontinfo\@xxvpt{%
- \def\pastro{\fam\astrofam\twentyfiveastro}\textfont\astrofam=\twentyfiveastro
- \scriptfont\astrofam=\seventeenastro \scriptscriptfont\astrofam=\fourteenastro}