diff --git a/Makefile b/Makefile
index bcc57b58e..3cf402373 100644
--- a/Makefile
+++ b/Makefile
@@ -39,7 +39,7 @@ XHTML_DTD_BASEURL:=http://www.w3.org/TR/xhtml1/DTD
 CLEAN=$(CONTENT) www/news.html www/news-rss.xml
 
 ### Defaults ###
-.PHONY: export contents clean mrproper all install check post-check pre-check
+.PHONY: export contents clean mrproper all install check
 .PRECIOUS: content/%.xml www/%.html
 .SILENT: check
 
@@ -58,7 +58,7 @@ www/dtd: $(DTD)
 $(XHTML_DTD_FILES):
 	$(WGET) $(XHTML_DTD_BASEURL)/$@
 
-post-check: $(PAGES) $(XHTML_DTD_FILES)
+check: $(PAGES) $(XHTML_DTD_FILES)
 	ln -sfn .. www/DTD
 	for page in $(PAGES) ; do \
 	  echo "Checking $${page}..." ; \