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

This commit is contained in:
Michael Meissner 1996-09-20 13:11:37 +00:00
parent 183632b238
commit ed9714ab65

View File

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