From: Michael Meissner <gnu@the-meissners.org>
Date: Fri, 20 Sep 1996 13:11:37 +0000 (+0000)
Subject: Lose doc directory until we DOS-ize it; Add doc/.Sanitize
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ed9714ab658220cdf822cef8c74f57b759fccaf3;p=binutils-gdb.git

Lose doc directory until we DOS-ize it; Add doc/.Sanitize
---

diff --git a/sim/ppc/.Sanitize b/sim/ppc/.Sanitize
index d8e6be48313..59e646f28f0 100644
--- a/sim/ppc/.Sanitize
+++ b/sim/ppc/.Sanitize
@@ -15,6 +15,13 @@
 
 Do-first:
 
+# Lose the documentation until it is acceptable to DOS
+if ( echo $* | grep keep\-psim\-doc > /dev/null ) ; then
+	keep_these_too="doc"
+else
+	lose_these_too="doc"
+fi
+
 # All files listed between the "Things-to-keep:" line and the
 # "Files-to-sed:" line will be kept.  All other files will be removed.
 # Directories listed in this section will have their own Sanitize
@@ -53,7 +60,6 @@ device.h
 device_table.c
 device_table.h
 dgen.c
-doc
 double.c
 dp-bit.c
 emul_bugapi.c