aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2018-09-14 16:38:08 +0200
committerRobert Alessi <alessi@robertalessi.net>2018-09-14 16:38:08 +0200
commit6dbe3f97980bfffdbc551c96411b0742dd2d5da9 (patch)
treefe38f0f6692a8697e684d1beecddbbfe4e436558
parentbc758f2280ab4b43d43da990b60ece3d6b1512a0 (diff)
downloadcourses-6dbe3f97980bfffdbc551c96411b0742dd2d5da9.tar.gz
removed unnecessary ls-R and adapted makefile so as to fit for different versions of pandoc
-rw-r--r--README.md8
-rw-r--r--ls-R12
-rw-r--r--makefile4
3 files changed, 6 insertions, 18 deletions
diff --git a/README.md b/README.md
index 859f956..e6d44c7 100644
--- a/README.md
+++ b/README.md
@@ -7,7 +7,7 @@ wiki](https://notabug.org/ralessi/courses/wiki).
7Compilation 7Compilation
8=========== 8===========
9 9
10Voici la liste des éléments logiciels quil faut installer: 10Voici la liste des éléments logiciels qu'il faut installer:
11 11
121. [GNU Make](https://www.gnu.org/software/make/) 121. [GNU Make](https://www.gnu.org/software/make/)
13 13
@@ -24,11 +24,11 @@ Voici la liste des éléments logiciels qu’il faut installer:
24 24
25 3. Windows: [proTeXt](http://tug.org/protext/) 25 3. Windows: [proTeXt](http://tug.org/protext/)
26 26
27 <span style="font-variant:small-caps;">Rem. 1</span> Linstallation 27 <span style="font-variant:small-caps;">Rem. 1</span> L'installation
28 doit être *complète*: il faut donc choisir loption *Set 28 doit être *complète*: il faut donc choisir l'option *Set
29 installation scheme: **scheme-full*** 29 installation scheme: **scheme-full***
30 30
31 <span style="font-variant:small-caps;">Rem. 2</span> Linstallation 31 <span style="font-variant:small-caps;">Rem. 2</span> L'installation
32 doit aussi être *mise à jour* car certains fichiers utilisent des 32 doit aussi être *mise à jour* car certains fichiers utilisent des
33 *packages* très récents. 33 *packages* très récents.
34 34
diff --git a/ls-R b/ls-R
deleted file mode 100644
index a5f0340..0000000
--- a/ls-R
+++ /dev/null
@@ -1,12 +0,0 @@
1./fichiers/images/02-donnees1.png
2./fichiers/images/02-unicode.png
3./fichiers/images/02-exercice_formats.png
4./fichiers/images/02-donnees2.png
5./fichiers/images/02-ascii.png
6./fichiers/01-ligne-de-commande.tex
7./fichiers/02-tableur_bdd.tex
8./makefile
9./_preamble-ed.tex
10./_preamble.tex
11./README.md
12./README.tex
diff --git a/makefile b/makefile
index 02442bf..9beff49 100644
--- a/makefile
+++ b/makefile
@@ -14,8 +14,8 @@ clean:
14 find -iname "*~" | xargs rm -rf 14 find -iname "*~" | xargs rm -rf
15 find ./* -type f | grep 'makefile\|\.md$$\|\.png$$\|\.tex$$' > ls-R 15 find ./* -type f | grep 'makefile\|\.md$$\|\.png$$\|\.tex$$' > ls-R
16 rsync -avPr --files-from=ls-R . .backup 16 rsync -avPr --files-from=ls-R . .backup
17 cp ls-R .backup 17# cp ls-R .backup
18 rm -rf * 18 rm -rf *
19 cp -p -r .backup/* . 19 cp -p -r .backup/* .
20 rm -rf .backup 20 rm -rf .backup
21 pandoc -s README.tex -o README.md && sed -i 's/{#.*}//g' README.md 21 pandoc -s README.tex -o README.md && sed -i 's/{#.*}//g' README.md && sed -i "s/’/\'/g" README.md