diff options
-rw-r--r-- | README.html | 19 | ||||
-rw-r--r-- | files.txt | 6 | ||||
-rw-r--r-- | makefile | 6 |
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 @@ | |||
1 | files.txt | ||
2 | makefile | ||
3 | README.md | ||
4 | README.tex | ||
5 | sandbox | ||
6 | sandbox/01.tex \ No newline at end of file | ||
@@ -1,6 +1,10 @@ | |||
1 | all: clean | 1 | all: clean |
2 | 2 | ||
3 | clean: | 3 | clean: |
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 | ||