diff options
Diffstat (limited to 'Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index22.html')
-rw-r--r-- | Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index22.html | 26 |
1 files changed, 14 insertions, 12 deletions
diff --git a/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index22.html b/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index22.html index 70997803e81..02df29b1331 100644 --- a/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index22.html +++ b/Master/tlpkg/texworks/texworks-help/TeXworks-manual/en/index22.html @@ -17,21 +17,23 @@ <link rel="stylesheet" type="text/css" href="index.css" /> </head> <body> -<!--l. 19--> +<!--l. 49--> <p class="noindent"></p> <div id="container"> <div class="footnote-text"> -<span class="footnote-mark"><a id="fn1x5" name= -"fn1x5"></a></span><span class="ec-lmr-10">Called by the -commands</span> <span class= -"obeylines-h verb ec-lmtt-10">\input{}</span> <span class= -"ec-lmr-10">or</span> <span class= -"obeylines-h verb ec-lmtt-10">\include{}</span><span class= -"ec-lmr-10">, see L</span><span class= -"ec-lmr-7">A</span><span class="ec-lmr-10">T</span><span class= -"ec-lmr-10">E</span> <span class="ec-lmr-10">X manuals for -more</span> <span class="ec-lmr-10">information.</span> -</div><!--l. 20--> +<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> |