aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--about.html41
-rw-r--r--makefile1
2 files changed, 42 insertions, 0 deletions
diff --git a/about.html b/about.html
new file mode 100644
index 0000000..cf062d1
--- /dev/null
+++ b/about.html
@@ -0,0 +1,41 @@
1<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
2<html xmlns="http://www.w3.org/1999/xhtml">
3<head>
4 <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
5 <meta http-equiv="Content-Style-Type" content="text/css" />
6 <meta name="generator" content="pandoc" />
7 <title></title>
8 <style type="text/css">code{white-space: pre;}</style>
9</head>
10<body>
11<h1 id="comment-utiliser-ce-dépôt-git">Comment utiliser ce dépôt git</h1>
12<p>Veuillez vous référer à <a href="https://notabug.org/ralessi/courses/wiki">cette page de notre wiki</a>.</p>
13<h1 id="compilation">Compilation</h1>
14<p>Voici la liste des éléments logiciels qu’il faut installer:</p>
15<ol>
16<li><p><a href="https://www.gnu.org/software/make/">GNU Make</a></p></li>
17<li><p><a href="https://rsync.samba.org/">rsync</a></p></li>
18<li><p><a href="http://pandoc.org/">pandoc</a></p></li>
19<li><p>Python (au moins version 2.6 pour Python2 ou 3.3 pour Python3)</p></li>
20<li><p>Pygments: <a href="http://pygments.org/" class="uri">http://pygments.org/</a></p></li>
21<li><p>Une distribution dérivée de <a href="http://tug.org/texlive/">TeXLive</a>, à savoir:</p>
22<ol>
23<li><p>Linux: <a href="http://tug.org/texlive/">TeXLive</a></p></li>
24<li><p>MacOs: <a href="http://tug.org/mactex/">MacTeX</a></p></li>
25<li><p>Windows: <a href="http://tug.org/protext/">proTeXt</a></p></li>
26</ol>
27<p><strong>Rem. 1</strong> L’installation doit être <em>complète</em>: il faut donc choisir l’option <em>Set installation scheme: <strong>scheme-full</strong></em></p>
28<p><strong>Rem. 2</strong> L’installation doit aussi être <em>mise à jour</em> car certains fichiers utilisent des <em>packages</em> très récents.</p></li>
29</ol>
30<h2 id="utilisation-de-la-ligne-de-commande">Utilisation de la ligne de commande</h2>
31<p>Veuillez vous référer à <a href="https://notabug.org/ralessi/courses/wiki/Command_line#utilisation-de-la-ligne-de-commande">cette page de notre wiki</a>.</p>
32<h4 id="cloner-ce-dépôt-git">Cloner ce dépôt git</h4>
33<pre><code>git clone https://notabug.org/ralessi/courses.git</code></pre>
34<h4 id="compiler-les-fichiers">Compiler les fichiers</h4>
35<pre><code>make</code></pre>
36<h4 id="revenir-à-la-version-initiale">Revenir à la version initiale</h4>
37<pre><code>make clean</code></pre>
38<h4 id="mise-à-jour">Mise à jour</h4>
39<pre><code>git pull</code></pre>
40</body>
41</html>
diff --git a/makefile b/makefile
index 27b11f1..2e5a12e 100644
--- a/makefile
+++ b/makefile
@@ -22,5 +22,6 @@ clean:
22 cp -p -r .backup/* . 22 cp -p -r .backup/* .
23 rm -rf .backup 23 rm -rf .backup
24 pandoc -s README.tex -o README.md && sed -i 's/{#.*}//g' README.md && sed -i "s/’/\'/g" README.md 24 pandoc -s README.tex -o README.md && sed -i 's/{#.*}//g' README.md && sed -i "s/’/\'/g" README.md
25 pandoc -s README.tex -o about.html
25 26
26.PHONY: all pdf clean 27.PHONY: all pdf clean