diff --git a/docs/Makefile b/docs/Makefile
index 6e32474..add2d8e 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -26,4 +26,3 @@ directory-struct.eps:	directory-struct.fig
 
 clean distclean realclean:
 	rm -f petidomo.aux petidomo.dvi petidomo.idx petidomo.log petidomo.ps petidomo.toc
-	rm -f ml-principle1.eps ml-principle2.eps directory-struct.eps