diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/hyperref/manual3.html')
-rw-r--r-- | Master/texmf-dist/doc/latex/hyperref/manual3.html | 25 |
1 files changed, 15 insertions, 10 deletions
diff --git a/Master/texmf-dist/doc/latex/hyperref/manual3.html b/Master/texmf-dist/doc/latex/hyperref/manual3.html index 755d188e60d..ebdbdbd29b8 100644 --- a/Master/texmf-dist/doc/latex/hyperref/manual3.html +++ b/Master/texmf-dist/doc/latex/hyperref/manual3.html @@ -1,20 +1,25 @@ <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> <html > -<head><title> </title> +<head><title></title> <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> -<meta name="generator" content="TeX4ht (http://www.cis.ohio-state.edu/~gurari/TeX4ht/mn.html)"> -<meta name="originator" content="TeX4ht (http://www.cis.ohio-state.edu/~gurari/TeX4ht/mn.html)"> +<meta name="generator" content="TeX4ht (http://www.cse.ohio-state.edu/~gurari/TeX4ht/)"> +<meta name="originator" content="TeX4ht (http://www.cse.ohio-state.edu/~gurari/TeX4ht/)"> <!-- html --> <meta name="src" content="manual.tex"> -<meta name="date" content="2007-05-29 17:15:00"> +<meta name="date" content="2007-10-29 16:17:00"> <link rel="stylesheet" type="text/css" href="manual.css"> </head><body > - <!--l. 214--><p class="noindent"> <a - id="x3-2002f2"></a>Make sure you turn off the partial font downloading supported by <span -class="cork-lmss-10">dvips </span>and <span -class="cork-lmss-10">dvipsone </span>in favor of - Distiller’s own system. - + <div class="footnote-text"> + <!--l. 214--><p class="indent" > <span class="footnote-mark"><a + id="fn2x0"> <sup class="textsuperscript">2</sup></a></span><span +class="ec-lmr-8">Make sure you turn off the partial font downloading supported by </span><span +class="ec-lmss-8">dvips </span><span +class="ec-lmr-8">and </span><span +class="ec-lmss-8">dvipsone </span><span +class="ec-lmr-8">in favor of Distiller’s own</span> + <span +class="ec-lmr-8">system.</span></div> + </body></html> |