diff options
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -43,3 +43,4 @@ clean: | |||
43 | rm *.* | 43 | rm *.* |
44 | cp saved/* . | 44 | cp saved/* . |
45 | rm -rf saved/ | 45 | rm -rf saved/ |
46 | pandoc README.tex -o about.html | ||