Add a more useful comment.
authorDavid Edelsohn <dje.gcc@gmail.com>
Tue, 25 Jul 1995 00:40:09 +0000 (00:40 +0000)
committerDavid Edelsohn <dje.gcc@gmail.com>
Tue, 25 Jul 1995 00:40:09 +0000 (00:40 +0000)
And add a comment about where the "Right" place for cfg-*.in is (if any).

.Sanitize

index 733ebe64f23872477890d36611c4965f9fc3c1a4..f28260731f42d4705761c238da969f97b79f7f02 100644 (file)
--- a/.Sanitize
+++ b/.Sanitize
 # 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
This page took 0.026147 seconds and 4 git commands to generate.