1 files changed, 4 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index e2ed503..639333d 100644
--- a/Makefile
+++ b/Makefile
@@ -8,3 +8,7 @@ all clean::
 		(cd $$dir && make $@); \
 	done
 
+pdf::
+	rm -rf pdf
+	mkdir pdf
+	find . -name *.pdf | xargs cp -t pdf/