diff options
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} |