diff --git a/src/Makefile.in b/src/Makefile.in
index 1f25ea987209228ab3e71130cef9a3335d654282..ca58245cef605e3132092ddba16af7393b70bfbb 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -1,5 +1,5 @@
 #
-# $Id: Makefile.in,v 1.356 2003/08/18 14:23:26 mast Exp $
+# $Id: Makefile.in,v 1.357 2003/08/31 21:24:04 nilsson Exp $
 #
 
 # This line is needed on some machines.
@@ -556,6 +556,9 @@ fast_verify_testsuite: testsuite
 run_hilfe: master.pike
 	$(RUNPIKE) $(ARGS)
 
+valgrind_hilfe: master.pike
+	$(VALGRIND) $(VALGRINDARGS) $(RUNPIKE) $(ARGS)
+
 feature_list:
 	$(RUNPIKE) $(TMP_BINDIR)/feature_list