diff options
author | Karl Berry <karl@freefriends.org> | 2007-09-23 22:58:35 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2007-09-23 22:58:35 +0000 |
commit | 176c99187ee70158997854df304165156714371f (patch) | |
tree | 6b906943ec6f6f34e5eb88ef086726244b06802d /Master/texmf-dist/doc/latex/cmastro/astro.sty | |
parent | cc919e2b7da0e20c4cbb6de976048e0613a17171 (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.sty | 55 |
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} |