summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/cmastro/astro.sty
diff options
context:
space:
mode:
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}