diff options
| author | Michael Meissner <gnu@the-meissners.org> | 1996-09-20 13:11:37 +0000 |
|---|---|---|
| committer | Michael Meissner <gnu@the-meissners.org> | 1996-09-20 13:11:37 +0000 |
| commit | ed9714ab658220cdf822cef8c74f57b759fccaf3 (patch) | |
| tree | 9f763abd999e989e777c90f015158576a8736173 /sim/ppc | |
| parent | 183632b2381803a4bbec321b09b87609ed87a934 (diff) | |
| download | gdb-ed9714ab658220cdf822cef8c74f57b759fccaf3.zip gdb-ed9714ab658220cdf822cef8c74f57b759fccaf3.tar.gz gdb-ed9714ab658220cdf822cef8c74f57b759fccaf3.tar.bz2 | |
Lose doc directory until we DOS-ize it; Add doc/.Sanitize
Diffstat (limited to 'sim/ppc')
| -rw-r--r-- | sim/ppc/.Sanitize | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/sim/ppc/.Sanitize b/sim/ppc/.Sanitize index d8e6be4..59e646f 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 |