diff options
author | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2020-03-15 21:06:45 +0000 |
---|---|---|
committer | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2020-03-15 21:06:45 +0000 |
commit | 8445f946acffd7a60e122dc9f229850856425798 (patch) | |
tree | 69691daee6f78f37b22a845dd75712978c333611 /Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index23.html | |
parent | f103e364e1ee6db020b35e817f86074c0e7c336f (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/index23.html')
-rw-r--r-- | Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index23.html | 71 |
1 files changed, 40 insertions, 31 deletions
diff --git a/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index23.html b/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index23.html index e2edd5b79e2..02df29b1331 100644 --- a/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index23.html +++ b/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index23.html @@ -1,31 +1,40 @@ -<!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. 49--><p class="noindent" ><div id="container"> <div class="footnote-text"> - <span class="footnote-mark"><a - id="fn2x5"></a></span><span -class="ec-lmr-10">See, for example, </span><a -href="http://extensions.services.openoffice.org/dictionary" class="url" ><span -class="ec-lmr-10">http://extensions.services.openoffice.org/dictionary</span></a><span -class="ec-lmr-10">. The </span><span class="path"><span -class="ec-lmr-10">.oxt</span></span> - <span -class="ec-lmr-10">files can be renamed to </span><span class="path"><span -class="ec-lmr-10">.zip</span></span> <span -class="ec-lmr-10">and then uncompressed to find the required </span><span class="path"><span -class="ec-lmr-10">.dic</span></span> <span -class="ec-lmr-10">and </span><span class="path"><span -class="ec-lmr-10">.aff</span></span> - <span -class="ec-lmr-10">files.</span></div> - <!--l. 49--><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. 49--> +<p class="noindent"></p> +<div id="container"> +<div class="footnote-text"> +<span class="footnote-mark"><a id="fn2x5" name= +"fn2x5"></a></span><span class="ec-lmr-10">See, for example,</span> +<a href="http://extensions.services.openoffice.org/dictionary" +class="url"><span class= +"ec-lmr-10">http://extensions.services.openoffice.org/dictionary</span></a><span class="ec-lmr-10">. +The</span> <span class="path ec-lmr-10">.oxt</span> <span class= +"ec-lmr-10">files can be renamed to</span> <span class= +"path ec-lmr-10">.zip</span> <span class="ec-lmr-10">and then +uncompressed to find the required</span> <span class= +"path ec-lmr-10">.dic</span> <span class="ec-lmr-10">and</span> +<span class="path ec-lmr-10">.aff</span> <span class= +"ec-lmr-10">files.</span> +</div><!--l. 49--> +<p class="indent"></p> +</div> +</body> +</html> |