webcheck target in this Makefile wasn't used.

diff --git a/Doc/html/Makefile b/Doc/html/Makefile
index 9418d4060ed966978963b1c794e9306f74fcc1e3..58989bf5c8c255e1b6627cc7c995a2a313484eb3 100644 (file)
--- a/Doc/html/Makefile
+++ b/Doc/html/Makefile
@@ -29,9 +29,6 @@ l2href:
 l2htut:
        $(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) -f ../Makefile l2htut
 
-webcheck:
-       $(MAKE) srcdir=.. VPATH=.. -f ../Makefile webcheck
-
 icons:
        mkdir icons
        cp ../icons/*.gif icons/