Comment utiliser ce dépôt git

Veuillez vous référer à cette page de notre wiki.

Compilation

Voici la liste des éléments logiciels qu’il faut installer:

1. GNU Make

2. rsync

3. pandoc

4. Python (au moins version 2.6 pour Python2 ou 3.3 pour Python3)

5. Pygments: http://pygments.org/

6. Une distribution dérivée de TeXLive, à savoir:

   1. Linux: TeXLive

   2. MacOs: MacTeX

   3. Windows: proTeXt

   Rem. 1 L’installation doit être complète: il faut donc choisir l’option Set installation scheme: scheme-full

   Rem. 2 L’installation doit aussi être mise à jour car certains fichiers utilisent des packages très récents.

Utilisation de la ligne de commande

Veuillez vous référer à cette page de notre wiki.

Cloner ce dépôt git

git clone https://git.robertalessi.net/courses

Compiler les fichiers

make

Revenir à la version initiale

make clean

Mise à jour

git pull