Added the webcheck target here.
diff --git a/Doc/html/Makefile b/Doc/html/Makefile
index 5973154..c92788a 100644
--- a/Doc/html/Makefile
+++ b/Doc/html/Makefile
@@ -29,6 +29,9 @@
 tarhtml:
 	$(MAKE) srcdir=.. VPATH=.. -f ../Makefile tarhtml
 
+webcheck:
+	$(MAKE) srcdir=.. VPATH=.. -f ../Makefile webcheck
+
 icons:
 	mkdir icons
 	cp ../icons/*.gif icons/