diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2018-12-14 10:06:15 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2018-12-14 10:06:15 +0100 |
| commit | 888dd248ee3e1f0d42a50a4d53052469adc791c3 (patch) | |
| tree | e855b47e0b79f0313d737fcce7144b95b2f7ebd1 | |
| parent | c487f5112a9f3c1c4c09b6d4542470a437fff167 (diff) | |
| download | courses-888dd248ee3e1f0d42a50a4d53052469adc791c3.tar.gz | |
generate about.html for cgit
| -rw-r--r-- | about.html | 41 | ||||
| -rw-r--r-- | makefile | 1 |
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> | ||
| @@ -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 |