diff --git a/Doc/paper-letter/Makefile b/Doc/paper-letter/Makefile
index e193bc92bc8..69350060f51 100644
--- a/Doc/paper-letter/Makefile
+++ b/Doc/paper-letter/Makefile
@@ -138,3 +138,6 @@ clean:
 
 clobber: clean
 	rm -f $(DVIFILES) $(PSFILES) $(PDFFILES)
+
+realclean: clobber
+distclean: clobber