diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2018-09-04 16:34:27 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2018-09-04 16:34:27 +0200 |
| commit | 60c02de032a1debccc8179035d9033b065cb1ffb (patch) | |
| tree | 61383533900cf31917628f61b741431b5d513214 /makefile | |
| parent | c752a71c168813885d64d05c96a243735b082e9a (diff) | |
| download | courses-60c02de032a1debccc8179035d9033b065cb1ffb.tar.gz | |
added basic makefile
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/makefile b/makefile new file mode 100644 index 0000000..8bf9b28 --- /dev/null +++ b/makefile | |||
| @@ -0,0 +1,6 @@ | |||
| 1 | all: clean | ||
| 2 | |||
| 3 | clean: | ||
| 4 | find -iname "*~" | xargs rm -rf | ||
| 5 | pandoc -s README.tex -o README.md && sed -i 's/{#.*}//g' README.md | ||
| 6 | pandoc -s README.tex -o README.html | ||