diff options
Diffstat (limited to 'src/tools/MkHelpFile.hs')
| -rw-r--r-- | src/tools/MkHelpFile.hs | 1 |
1 files changed, 1 insertions, 0 deletions
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.", "-----------------------------------------------------------------------------", "", "" |