diff --git a/doc/Makefile b/doc/Makefile
index c9c4fce442262c38402cbd84b2c763d8c691677e..61eb62134a1b7fdb673a3cdf5951be4f333d1a5f 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -34,9 +34,9 @@ website: all
 	rsync -lt --no-g ${webfiles} ${website}
 	rsync -lt --no-g ../debian/changelog ${website}/changelog
 
-.PHONY: clean veryclean manual-html
-clean:
+.PHONY: clean intermediate-clean manual-html
+intermediate-clean:
 	rm -f ${intermediate}
-veryclean: clean
+clean: intermediate-clean
 	rm -f asdf.html asdf.pdf asdf.info
 	rm -rf asdf/ asdf.t2d/