Exclude "documentation" and "etc" from compiler RCS.log.

diff --git a/v7/src/rcs/mklogs.scm b/v7/src/rcs/mklogs.scm
index 7bf2fc78948dfeae8e4f6aa8357a1ef0a1acb0e5..85d70bfd5c48ec7e511e14f984eb05c2c6a0474b 100644 (file)
--- a/v7/src/rcs/mklogs.scm
+++ b/v7/src/rcs/mklogs.scm
@@ -15,6 +15,6 @@
   (make-log "/scheme/src/cref")
   (make-log "/scheme/src/edwin")
   (make-log "/scheme/src/sicp")
-  (make-log "/scheme/src/compiler" "back" "base" "documentation" "etc" "fggen"
-           "fgopt" "rtlbase" "rtlgen" "rtlopt" "machines/bobcat"
+  (make-log "/scheme/src/compiler" "back" "base" "fggen" "fgopt"
+           "rtlbase" "rtlgen" "rtlopt" "machines/bobcat"
            "machines/mips" "machines/spectrum" "machines/vax"))
\ No newline at end of file