From 888dd248ee3e1f0d42a50a4d53052469adc791c3 Mon Sep 17 00:00:00 2001 From: Robert Alessi Date: Fri, 14 Dec 2018 10:06:15 +0100 Subject: generate about.html for cgit --- about.html | 41 +++++++++++++++++++++++++++++++++++++++++ makefile | 1 + 2 files changed, 42 insertions(+) create mode 100644 about.html diff --git a/about.html b/about.html new file mode 100644 index 0000000..cf062d1 --- /dev/null +++ b/about.html @@ -0,0 +1,41 @@ + + + + + + + + + + +

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. +

  2. rsync

    3. +

  3. pandoc

    4. +

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

    5. +

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

    6. +

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

    +
      +

    1. Linux: TeXLive

      2. +

    2. MacOs: MacTeX

      3. +

    3. Windows: proTeXt

      4. +
    +

    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.

    7. +
+

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://notabug.org/ralessi/courses.git
+

Compiler les fichiers

+
make
+

Revenir à la version initiale

+
make clean
+

Mise à jour

+
git pull
+ + diff --git a/makefile b/makefile index 27b11f1..2e5a12e 100644 --- a/makefile +++ b/makefile @@ -22,5 +22,6 @@ clean: cp -p -r .backup/* . rm -rf .backup pandoc -s README.tex -o README.md && sed -i 's/{#.*}//g' README.md && sed -i "s/’/\'/g" README.md + pandoc -s README.tex -o about.html .PHONY: all pdf clean -- cgit v1.2.3