style boostrap

Makefile

@@ -1,10 +1,14 @@
 MD_FILES = $(shell find -name "*.md")
 HTML_FILES = $(MD_FILES:.md=.html)
+TEMPLATE_OPT = --template template.html --css template.css 
 
 all: $(HTML_FILES)
 
-%.html: %.md
-	pandoc -s --toc -H style.html -o $@ $<
+before.html: before.md
+	pandoc $(TEMPLATE_OPT) -o $@ $<
+
+%.html: %.md before.html 
+	pandoc $(TEMPLATE_OPT) --toc --toc-depth 2 --include-before before.html -o $@ $<
 
 publish:
 	scp $(HTML_FILES) *.svg *.png yangra.univ-littoral.fr:public-html/enseignements/tutoriel_git/

branches.md

@@ -1,23 +1,9 @@
 
 ---
-title: "Tutoriel git"
-output:
-    toc: true
+title: "Tutoriel git : branches"
+date: 2016-03-25
 ---
 
-* * * * *
-
-[introduction](index.html) | 
-[installation](installation.html) | 
-[dépôt local](depot_local.html) | 
-[dépôt distant](depot_distant.html) | 
-[branches](branches.html) | 
-[forks](forks.html) 
-
-* * * * *
-
-# Branches 
-
 Lorsque l'on fait des commits successifs, ceux-ci sont ajoutés les uns à la
 suite des autres, sur une même branche.  Git permet également, à partir d'un
 commit donné, de réaliser plusieurs branches en parallèle.  Les branches
@@ -205,18 +191,3 @@ Quelques conseils de méthode de travail :
 - Envoyez la branche b2 sur le serveur puis supprimez-la sur le dépôt local puis
   sur le dépôt distant.
 
-* * * * *
-
-[introduction](index.html) | 
-[installation](installation.html) | 
-[dépôt local](depot_local.html) | 
-[dépôt distant](depot_distant.html) | 
-[branches](branches.html) | 
-[forks](forks.html) 
-
-* * * * *
-
-[serveur gogs de l'ULCO](gogs.univ-littoral.fr)
-
-Dernière mise à jour : 2016-03-25
-

depot_distant.md

@@ -1,13 +1,9 @@
+
 ---
-title: "Tutoriel git <small><br> <hr> [introduction](index.html) | [installation](installation.html) | [dépôt local](depot_local.html) | [dépôt distant](depot_distant.html) | [branches](branches.html) | [forks](forks.html) <hr> </small>"
-output:
-    toc: true
+title: "Tutoriel git : dépôt distant"
+date: 2016-03-25
 ---
 
-* * * * *
-
-# Dépôt distant 
-
 Git permet de synchroniser un dépôt local avec un dépôt distant (sur un
 serveur).  Ceci permet d'envoyer les commits locaux sur le serveur et,
 réciproquement, de récupérer les commits du serveur dans un dépôt local.
@@ -199,11 +195,3 @@ gérer vos dépôts distants.
 - Vérifiez que vous avez bien un conflit, résolvez-le et synchronisez tout le
   monde.
 
-* * * * *
-
-[Retour au début de la page](#header)
-
-[Retour à la page d'accueil](../../index.html)
-
-Dernière mise à jour : 2016-03-25
-

depot_local.md

@@ -1,13 +1,9 @@
+
 ---
-title: "Tutoriel git <small><br> <hr> [introduction](index.html) | [installation](installation.html) | [dépôt local](depot_local.html) | [dépôt distant](depot_distant.html) | [branches](branches.html) | [forks](forks.html) <hr> </small>"
-output:
-    toc: true
+title: "Tutoriel git : dépôt local"
+date: 2016-03-25
 ---
 
-* * * * *
-
-# Dépôt local 
-
 L'élément de base d'un projet git est le dépôt. Il s'agit simplement d'un
 dossier classique que l'on demande à git de versionner (journaliser).
 
@@ -280,11 +276,3 @@ Quelques conseils de méthode de travail :
   l'historique des commits ou avec un client git graphique.
 - Testez les suppressions de commits.
 
-* * * * *
-
-[Retour au début de la page](#header)
-
-[Retour à la page d'accueil](../../index.html)
-
-Dernière mise à jour : 2016-03-25
-

forks.md

@@ -1,13 +1,9 @@
+
 ---
-title: "Tutoriel git <small><br> <hr> [introduction](index.html) | [installation](installation.html) | [dépôt local](depot_local.html) | [dépôt distant](depot_distant.html) | [branches](branches.html) | [forks](forks.html) <hr> </small>"
-output:
-    toc: true
+title: "Tutoriel git : forks"
+date: 2016-03-25
 ---
 
-* * * * *
-
-# Forks 
-
 Imaginons que Julien propose un dépôt public, visible par tout le monde, mais
 non modifiable (pour éviter que n'importe qui y fasse n'importe quoi).  Si
 Fabien (à qui il arrive parfois de faire n'importe quoi) veut proposer une
@@ -175,11 +171,3 @@ public.
 - Clonez le dépôt public et mettez-le à jour avec la branche "public" du dépôt
   distant privé.
 
-* * * * *
-
-[Retour au début de la page](#header)
-
-[Retour à la page d'accueil](../../index.html)
-
-Dernière mise à jour : 2016-03-25
-

index.md

@@ -1,13 +1,8 @@
 ---
-title: "Tutoriel git <small><br> <hr> [introduction](index.html) | [installation](installation.html) | [dépôt local](depot_local.html) | [dépôt distant](depot_distant.html) | [branches](branches.html) | [forks](forks.html) <hr> </small>"
-output:
-    toc: true
+title: "Tutoriel git : introduction"
+date: 2016-03-25
 ---
 
-* * * * *
-
-# Introduction
-
 ## À qui s'adresse ce tutoriel ?
 - Objectif du tutoriel : apprendre à utiliser l'outil git et le [serveur
   gogs](https://gogs.univ-littoral.fr) mis en place par le
@@ -95,11 +90,3 @@ le mode de fonctionnement du serveur gogs du SCOSI, de github...
 - [https://www.atlassian.com/git/tutorials/](https://www.atlassian.com/git/tutorials/)
 - [https://gogs.univ-littoral.fr/jdehos/tutoriel_git](https://gogs.univ-littoral.fr/jdehos/tutoriel_git)
 
-* * * * *
-
-[Retour au début de la page](#header)
-
-[Retour à la page d'accueil](../../index.html)
-
-Dernière mise à jour : 2016-03-25
-

installation.md

@@ -1,13 +1,8 @@
 ---
-title: "Tutoriel git <small><br> <hr> [introduction](index.html) | [installation](installation.html) | [dépôt local](depot_local.html) | [dépôt distant](depot_distant.html) | [branches](branches.html) | [forks](forks.html) <hr> </small>"
-output:
-    toc: true
+title: "Tutoriel git : installation et configuration"
+date: 2016-03-25
 ---
 
-* * * * *
-
-# Installation et configuration
-
 Pour utiliser git, il vous faut un client git (et une connexion internet si
 vous voulez utiliser des dépôts distants).
 
@@ -93,11 +88,3 @@ distant `https://github.com/juliendehos/invinoveritas` :
 
 ![](installation_01.png)
 
-* * * * *
-
-[Retour au début de la page](#header)
-
-[Retour à la page d'accueil](../../index.html)
-
-Dernière mise à jour : 2016-03-25
-