diff --git a/Makefile b/Makefile
index 458327a..d591a1a 100644
--- a/Makefile
+++ b/Makefile
@@ -8,6 +8,8 @@ archive.pdf: intro.pdf requirements.pdf design-doc.pdf \
 	    readme.pdf
 
 # Generate LaTeX files from READMEs
+# Matt's READMEs don't use the convention for headers; we need to update them so that every
+# "section" is a subsection and so on. We also insert our own overarching section title.
 readme-app.tex: external/app/README.md
 	pandoc -f markdown-auto_identifiers -t latex --no-highlight -o readme-app.tex external/app/README.md
 
@@ -17,9 +19,6 @@ readme-cdl.tex: external/cdl/README.md
 readme-server.tex: external/server/README.md
 	pandoc -f markdown-auto_identifiers -t latex --no-highlight -o readme-server.tex external/server/README.md
 
-# Matt's READMEs don't use the convention for headers; we need to update them so that every
-# "section" is a subsection and so on. We also insert our own overarching section title.
-
 readme-collar.tex: external/collar/README.md
 	pandoc -f markdown-auto_identifiers -t latex --no-highlight -o readme-collar.tex external/collar/README.md
 	sed -i -e 's/section/subsection/g' readme-collar.tex
@@ -52,6 +51,6 @@ requirements.pdf: external/requirements/requirements.latex
 	cd external/requirements && pdflatex -output-directory=../.. requirements.latex && pdflatex -output-directory=../.. requirements.latex
 
 clean:
-	rm -rf *.pdf *.out *.aux *.log *.toc readme-*.tex
+	rm -rf *.pdf *.out *.aux *.log *.toc readme-*.tex *.old
 
 .PHONY: clean