diff --git a/makefile b/makefile new file mode 100644 index 0000000..c0d0103 --- /dev/null +++ b/makefile @@ -0,0 +1,5 @@ +clean: + rm *.aux + rm *.log + rm *.pdf + rm *.svg