diff options
| author | David Edelsohn <dje.gcc@gmail.com> | 1995-07-25 00:40:09 +0000 |
|---|---|---|
| committer | David Edelsohn <dje.gcc@gmail.com> | 1995-07-25 00:40:09 +0000 |
| commit | 9719168fa17a42a8886f1b3c31215fa784db7e00 (patch) | |
| tree | 8f8238b8ade430dfcd856a53cc8626274a2f1a09 /.Sanitize | |
| parent | 0b4150773473177a8de5a39d4627092ee36b1b05 (diff) | |
| download | gdb-9719168fa17a42a8886f1b3c31215fa784db7e00.zip gdb-9719168fa17a42a8886f1b3c31215fa784db7e00.tar.gz gdb-9719168fa17a42a8886f1b3c31215fa784db7e00.tar.bz2 | |
Add a more useful comment.
And add a comment about where the "Right" place for cfg-*.in is (if any).
Diffstat (limited to '.Sanitize')
| -rw-r--r-- | .Sanitize | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -22,6 +22,11 @@ # new file, and will get warnings from Sanitize when everything is really # okay. You don't want to get people in the habit of ignoring complaints from # Sanitize, do you? No, I didn't think so. +# +# If you do add a file to the regular things-to-keep section, don't forget +# to add the corresponding entry to the devo-support entry (or whatever) in +# the modules file. +# ######################## # .Sanitize for devo. @@ -112,6 +117,9 @@ done # called. Directories not listed will be removed in their entirety # with rm -rf. +# ??? It is debatable whether cfg-*.in belongs in Things-to-keep or +# keep_these_too. If someone feels strongly about it, please move them. + Things-to-keep: COPYING |