From a1e8229910bbd01135d0e71c459872f87785a291 Mon Sep 17 00:00:00 2001 From: aarne Date: Sat, 5 Feb 2005 20:52:31 +0000 Subject: cleand up Structural --- src/tools/MkHelpFile.hs | 1 + 1 file changed, 1 insertion(+) (limited to 'src/tools/MkHelpFile.hs') diff --git a/src/tools/MkHelpFile.hs b/src/tools/MkHelpFile.hs index 6f7fe0184..fc0db2e00 100644 --- a/src/tools/MkHelpFile.hs +++ b/src/tools/MkHelpFile.hs @@ -54,6 +54,7 @@ helpHeader = unlines [ "-- > CVS $Revision $", "--", "-- Help on shell commands. Generated from HelpFile by 'make help'.", + "-- PLEASE DON'T EDIT THIS FILE.", "-----------------------------------------------------------------------------", "", "" -- cgit v1.2.3