aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2018-09-06 01:49:41 +0200
committerRobert Alessi <alessi@robertalessi.net>2018-09-06 01:49:41 +0200
commit1815c076e2168ea13390886b4fb1728bdf54fc5b (patch)
tree4c7e9c054e49f3d927cf8caf5efd6537b33380bd
parent678b57232a0d8c3aecb1d6e5c1483c75f94f84a6 (diff)
downloadcourses-1815c076e2168ea13390886b4fb1728bdf54fc5b.tar.gz
makefile: keep only what is listed in files.txt
-rw-r--r--README.html19
-rw-r--r--files.txt6
-rw-r--r--makefile6
3 files changed, 11 insertions, 20 deletions
diff --git a/README.html b/README.html
deleted file mode 100644
index d044a58..0000000
--- a/README.html
+++ /dev/null
@@ -1,19 +0,0 @@
1<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
2<html xmlns="http://www.w3.org/1999/xhtml">
3<head>
4 <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
5 <meta http-equiv="Content-Style-Type" content="text/css" />
6 <meta name="generator" content="pandoc" />
7 <meta name="author" content="Robert Alessi" />
8 <title>Cours sur LaTeX et Python</title>
9 <style type="text/css">code{white-space: pre;}</style>
10</head>
11<body>
12<div id="header">
13<h1 class="title">Cours sur LaTeX et Python</h1>
14<h2 class="author">Robert Alessi</h2>
15</div>
16<h1 id="présentation">Présentation</h1>
17<p>Ceci est le tout premier fichier. Il faut maintenant commencer.</p>
18</body>
19</html>
diff --git a/files.txt b/files.txt
new file mode 100644
index 0000000..d6d75fd
--- /dev/null
+++ b/files.txt
@@ -0,0 +1,6 @@
1files.txt
2makefile
3README.md
4README.tex
5sandbox
6sandbox/01.tex \ No newline at end of file
diff --git a/makefile b/makefile
index 8bf9b28..6019fe2 100644
--- a/makefile
+++ b/makefile
@@ -1,6 +1,10 @@
1all: clean 1all: clean
2 2
3clean: 3clean:
4 rm -rf .backup
4 find -iname "*~" | xargs rm -rf 5 find -iname "*~" | xargs rm -rf
6 rsync -avPr --files-from=files.txt . .backup
7 rm -rf *
8 cp -p -r .backup/* .
9 rm -rf .backup
5 pandoc -s README.tex -o README.md && sed -i 's/{#.*}//g' README.md 10 pandoc -s README.tex -o README.md && sed -i 's/{#.*}//g' README.md
6 pandoc -s README.tex -o README.html