Added generated PDF files for people who just want to print them out

mikeshulman · Mar 4, 2011 · d853371 · d853371
1 parent c47d755
commit d853371
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 1 deletion.
diff --git a/OberwolfachTutorial/Makefile b/OberwolfachTutorial/Makefile
@@ -26,4 +26,4 @@ doc:
 	$(PDFLATEX) univalence.tex
 
 clean:
-	/bin/rm -f *~ *.{aux,log,vo,glob,out,pdf} univalence_body.tex
+	/bin/rm -f *~ *.{aux,log,vo,glob,out} univalence_body.tex
diff --git a/OberwolfachTutorial/cheatsheet.pdf b/OberwolfachTutorial/cheatsheet.pdf
diff --git a/OberwolfachTutorial/univalence.pdf b/OberwolfachTutorial/univalence.pdf