18 |
<meta name="resource-type" content="document"> |
<meta name="resource-type" content="document"> |
19 |
<meta name="distribution" content="global"> |
<meta name="distribution" content="global"> |
20 |
<meta name="Generator" content="texi2html"> |
<meta name="Generator" content="texi2html"> |
21 |
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> |
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii"> |
22 |
<meta http-equiv="Refresh" content="0; url=info-stnd_2.html#g_t_002d_002dvi_002dkeys"> |
<style type="text/css"> |
23 |
|
<!-- |
24 |
|
a.summary-letter {text-decoration: none} |
25 |
|
pre.display {font-family: serif} |
26 |
|
pre.format {font-family: serif} |
27 |
|
pre.menu-comment {font-family: serif} |
28 |
|
pre.menu-preformatted {font-family: serif} |
29 |
|
pre.smalldisplay {font-family: serif; font-size: smaller} |
30 |
|
pre.smallexample {font-size: smaller} |
31 |
|
pre.smallformat {font-family: serif; font-size: smaller} |
32 |
|
pre.smalllisp {font-size: smaller} |
33 |
|
span.sansserif {font-family:sans-serif; font-weight:normal;} |
34 |
|
ul.toc {list-style: none} |
35 |
|
--> |
36 |
|
</style> |
37 |
|
|
38 |
|
<meta http-equiv="Refresh" content="2; url=info-stnd_2.html#g_t_002d_002dvi_002dkeys"> |
39 |
|
|
40 |
</head> |
</head> |
41 |
|
|