aboutsummaryrefslogtreecommitdiff

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://gitlab.com/ralessi/courses.git

Compiler les fichiers

make

Revenir à la version initiale

make clean

Mise à jour

git pull