Added the webcheck target here.

diff --git a/Doc/html/Makefile b/Doc/html/Makefile
index 59731541f2a0de0bfded3573dcc835b39630dc18..c92788a860790a2ff35c1c7ce4150d4d024b0099 100644 (file)
--- a/Doc/html/Makefile
+++ b/Doc/html/Makefile
@@ -29,6 +29,9 @@ l2htut:
 tarhtml:
        $(MAKE) srcdir=.. VPATH=.. -f ../Makefile tarhtml
 
+webcheck:
+       $(MAKE) srcdir=.. VPATH=.. -f ../Makefile webcheck
+
 icons:
        mkdir icons
        cp ../icons/*.gif icons/