diff --git a/Doc/html/Makefile b/Doc/html/Makefile
index c92788a8607..3b0aa05e485 100644
--- a/Doc/html/Makefile
+++ b/Doc/html/Makefile
@@ -26,9 +26,6 @@ l2href:
 l2htut:
 	$(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) -f ../Makefile l2htut
 
-tarhtml:
-	$(MAKE) srcdir=.. VPATH=.. -f ../Makefile tarhtml
-
 webcheck:
 	$(MAKE) srcdir=.. VPATH=.. -f ../Makefile webcheck