diff options
| author | aarne <unknown> | 2005-02-05 20:52:31 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-02-05 20:52:31 +0000 |
| commit | a1e8229910bbd01135d0e71c459872f87785a291 (patch) | |
| tree | 16612ffa6d974da1fb8e4234f134e5f97c0ad9af /src/tools | |
| parent | 45f3b7d5e74dde250a3e0eb92469efc22479cd30 (diff) | |
cleand up Structural
Diffstat (limited to 'src/tools')
| -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.", "-----------------------------------------------------------------------------", "", "" |