summaryrefslogtreecommitdiff
path: root/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index12.html
diff options
context:
space:
mode:
authorAkira Kakuto <kakuto@fuk.kindai.ac.jp>2020-03-15 21:06:45 +0000
committerAkira Kakuto <kakuto@fuk.kindai.ac.jp>2020-03-15 21:06:45 +0000
commit8445f946acffd7a60e122dc9f229850856425798 (patch)
tree69691daee6f78f37b22a845dd75712978c333611 /Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index12.html
parentf103e364e1ee6db020b35e817f86074c0e7c336f (diff)
texworks 0.6.4
git-svn-id: svn://tug.org/texlive/trunk@54323 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index12.html')
-rw-r--r--Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index12.html70
1 files changed, 41 insertions, 29 deletions
diff --git a/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index12.html b/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index12.html
index 1853f99570a..3abad41adef 100644
--- a/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index12.html
+++ b/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index12.html
@@ -1,29 +1,41 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
- "http://www.w3.org/TR/html4/loose.dtd">
-<html >
-<head><title></title>
-<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
-<meta name="generator" content="TeX4ht (http://www.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 -->
-<meta name="src" content="index.tex">
-<link rel="stylesheet" type="text/css" href="index.css">
-</head><body
->
- <!--l. 46--><p class="noindent" ><div id="container"> <div class="footnote-text">
- <span class="footnote-mark"><a
- id="fn2x4"></a></span><span
-class="ec-lmr-10">You can only use fonts </span>(L<sup>A</sup>)T<sub>E</sub>X <span
-class="ec-lmr-10">knows, most of which are coming in packages included in your</span>
- <span
-class="ec-lmr-10">distribution. You cannot use your &#8220;normal&#8221; 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/" class="url" ><span
-class="ec-lmr-10">http://www.tug.dk/FontCatalogue/</span></a><span
-class="ec-lmr-10">.</span></div>
- <!--l. 46--><p class="indent" > </div>
-</body></html>
+<?xml version="1.0"?>
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta name="generator" content=
+"HTML Tidy for HTML5 for Linux version 5.6.0" />
+<title></title>
+<meta http-equiv="Content-Type" content=
+"text/html; charset=utf-8" />
+<meta name="generator" content=
+"TeX4ht (http://www.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 -->
+<meta name="src" content="index.tex" />
+<link rel="stylesheet" type="text/css" href="index.css" />
+</head>
+<body>
+<!--l. 46-->
+<p class="noindent"></p>
+<div id="container">
+<div class="footnote-text">
+<span class="footnote-mark"><a id="fn2x4" name=
+"fn2x4"></a></span><span class="ec-lmr-10">You can only use
+fonts</span> (L<sup>A</sup>)T<sub>E</sub>X <span class=
+"ec-lmr-10">knows, most of which are coming in packages included in
+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/"
+class="url"><span class=
+"ec-lmr-10">http://www.tug.dk/FontCatalogue/</span></a><span class=
+"ec-lmr-10">.</span>
+</div><!--l. 46-->
+<p class="indent"></p>
+</div>
+</body>
+</html>