diff options
Diffstat (limited to 'Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index11.html')
-rw-r--r-- | Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index11.html | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index11.html b/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index11.html index 3abad41adef..6f0f0ba3ac3 100644 --- a/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index11.html +++ b/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index11.html @@ -9,15 +9,15 @@ <meta http-equiv="Content-Type" content= "text/html; charset=utf-8" /> <meta name="generator" content= -"TeX4ht (http://www.tug.org/tex4ht/)" /> +"TeX4ht (https://tug.org/tex4ht/)" /> <meta name="originator" content= -"TeX4ht (http://www.tug.org/tex4ht/)" /> -<!-- info,2,imgdir:images/,sec-filename,next,index=2,url-enc,html --> +"TeX4ht (https://tug.org/tex4ht/)" /> +<!-- info,2,sec-filename,next,index=2,url-enc,charset=utf-8,html --> <meta name="src" content="index.tex" /> <link rel="stylesheet" type="text/css" href="index.css" /> </head> <body> -<!--l. 46--> +<!--l. 38--> <p class="noindent"></p> <div id="container"> <div class="footnote-text"> @@ -28,13 +28,13 @@ fonts</span> (L<sup>A</sup>)T<sub>E</sub>X <span class= your</span> <span class="ec-lmr-10">distribution. You cannot use your “normal” fonts, unfortunately. For more information, see for</span> <span class="ec-lmr-10">example</span> <a href= -"http://faq.tug.org/" class="url"><span class= -"ec-lmr-10">http://faq.tug.org/</span></a> <span class= -"ec-lmr-10">and</span> <a href="http://www.tug.dk/FontCatalogue/" +"https://texfaq.org/" class="url"><span class= +"ec-lmr-10">https://texfaq.org/</span></a> <span class= +"ec-lmr-10">and</span> <a href="https://tug.org/FontCatalogue/" class="url"><span class= -"ec-lmr-10">http://www.tug.dk/FontCatalogue/</span></a><span class= +"ec-lmr-10">https://tug.org/FontCatalogue/</span></a><span class= "ec-lmr-10">.</span> -</div><!--l. 46--> +</div><!--l. 38--> <p class="indent"></p> </div> </body> |