diff options
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -42,5 +42,5 @@ clean: | |||
42 | rm *.* | 42 | rm *.* |
43 | cp saved/* . | 43 | cp saved/* . |
44 | rm -rf saved/ | 44 | rm -rf saved/ |
45 | pandoc README.tex -o README.md && sed -i 's/{#.*}//g' README.md | 45 | pandoc -s README.tex -o README.md && sed -i 's/{#.*}//g' README.md |
46 | pandoc README.tex -o about.html | 46 | pandoc -s README.tex -o about.html |