summaryrefslogtreecommitdiff
path: root/Master/tlpkg/texworks/texworks-help/TeXworks-manual/fr/index22.html
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/texworks/texworks-help/TeXworks-manual/fr/index22.html')
-rw-r--r--Master/tlpkg/texworks/texworks-help/TeXworks-manual/fr/index22.html43
1 files changed, 43 insertions, 0 deletions
diff --git a/Master/tlpkg/texworks/texworks-help/TeXworks-manual/fr/index22.html b/Master/tlpkg/texworks/texworks-help/TeXworks-manual/fr/index22.html
new file mode 100644
index 00000000000..6efabeb4372
--- /dev/null
+++ b/Master/tlpkg/texworks/texworks-help/TeXworks-manual/fr/index22.html
@@ -0,0 +1,43 @@
+<?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 xml:lang="fr" xmlns="http://www.w3.org/1999/xhtml" lang="fr">
+<head>
+<meta name="generator" content=
+"HTML Tidy for Linux (vers 25 March 2009), see www.w3.org" />
+
+<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" />
+<meta name="date" content="2015-04-03 14:29:00" />
+<link rel="stylesheet" type="text/css" href="index.css" />
+</head>
+
+<body>
+<!--l. 109-->
+
+<p class="noindent"></p>
+
+<div id="container">
+<div class="footnote-text">
+<span class="footnote-mark"><a id="fn10x4" name=
+"fn10x4"></a></span><span class="ec-lmr-10">Remarquons que, par
+d</span><span class="ec-lmr-10">éfaut (ce qui peut</span>
+<span class="ec-lmr-10">être modifi</span><span class=
+"ec-lmr-10">é), les commentaires sont color</span><span class=
+"ec-lmr-10">és en</span> <span class="ec-lmr-10">rouge par</span>
+T<sub>E</sub>Xworks<span class="ec-lmr-10">, ce qui les met
+en</span> <span class="ec-lmr-10">évidence.</span>
+</div><!--l. 109-->
+
+<p class="indent"></p>
+</div>
+</body>
+</html>