aboutsummaryrefslogtreecommitdiff
path: root/makefile
diff options
context:
space:
mode:
Diffstat (limited to 'makefile')
-rw-r--r--makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/makefile b/makefile
index 36f613f..5681a92 100644
--- a/makefile
+++ b/makefile
@@ -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