]>
Commit | Line | Data |
---|---|---|
2323d13b | 1 | # .Sanitize for devo/include. |
0fd8d5d9 | 2 | |
2323d13b | 3 | # Each directory to survive its way into a release will need a file |
0fd8d5d9 RP |
4 | # like this one called "./.Sanitize". All keyword lines must exist, |
5 | # and must exist in the order specified by this file. Each directory | |
6 | # in the tree will be processed, top down, in the following order. | |
7 | ||
8 | # Hash started lines like this one are comments and will be deleted | |
9 | # before anything else is done. Blank lines will also be squashed | |
10 | # out. | |
11 | ||
12 | # The lines between the "Do-first:" line and the "Things-to-keep:" | |
13 | # line are executed as a /bin/sh shell script before anything else is | |
2323d13b | 14 | # done in this directory. |
0fd8d5d9 RP |
15 | |
16 | Do-first: | |
17 | ||
2323d13b SS |
18 | if ( echo $* | grep keep\-mpw > /dev/null ) ; then |
19 | keep_these_too="mpw" | |
20 | else | |
21 | lose_these_too="mpw" | |
22 | fi | |
23 | ||
0fd8d5d9 RP |
24 | # All files listed between the "Things-to-keep:" line and the |
25 | # "Files-to-sed:" line will be kept. All other files will be removed. | |
26 | # Directories listed in this section will have their own Sanitize | |
27 | # called. Directories not listed will be removed in their entirety | |
28 | # with rm -rf. | |
29 | ||
30 | Things-to-keep: | |
31 | ||
8e71e6e3 | 32 | COPYING |
49d6a0e6 | 33 | ChangeLog |
0fd8d5d9 | 34 | ansidecl.h |
11eab90c | 35 | aout |
9a0418eb | 36 | bfdlink.h |
0fd8d5d9 | 37 | bout.h |
11eab90c | 38 | coff |
c9725927 | 39 | demangle.h |
d7e1be46 | 40 | dis-asm.h |
11eab90c | 41 | elf |
201258d5 JW |
42 | fopen-bin.h |
43 | fopen-same.h | |
0fd8d5d9 RP |
44 | gdbm.h |
45 | getopt.h | |
0fd8d5d9 | 46 | ieee.h |
d7e1be46 | 47 | ieee-float.h |
f7da7289 | 48 | nlm |
0fd8d5d9 RP |
49 | oasys.h |
50 | obstack.h | |
11eab90c | 51 | opcode |
0fd8d5d9 RP |
52 | wait.h |
53 | ||
87756e15 RP |
54 | Things-to-lose: |
55 | ||
775d4a40 | 56 | |
0fd8d5d9 RP |
57 | Do-last: |
58 | ||
0fd8d5d9 | 59 | # End of file. |