From ed9714ab658220cdf822cef8c74f57b759fccaf3 Mon Sep 17 00:00:00 2001
From: Michael Meissner <gnu@the-meissners.org>
Date: Fri, 20 Sep 1996 13:11:37 +0000
Subject: [PATCH] Lose doc directory until we DOS-ize it; Add doc/.Sanitize

---
 sim/ppc/.Sanitize | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

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
-- 
2.30.2