diff options
| author | John Gilmore <gnu@cygnus> | 1991-11-21 02:44:53 +0000 |
|---|---|---|
| committer | John Gilmore <gnu@cygnus> | 1991-11-21 02:44:53 +0000 |
| commit | 3d29576b5a6a12ef878da128f850ffc9dc1667e9 (patch) | |
| tree | 8954cca91d4f930c94def5fb2a34a707809f680d /gdb/doc/.Sanitize | |
| parent | 6373dbe3d7e96321c45c4c3c330e1b360427f445 (diff) | |
| download | gdb-3d29576b5a6a12ef878da128f850ffc9dc1667e9.zip gdb-3d29576b5a6a12ef878da128f850ffc9dc1667e9.tar.gz gdb-3d29576b5a6a12ef878da128f850ffc9dc1667e9.tar.bz2 | |
For configure-able doc dir.
Diffstat (limited to 'gdb/doc/.Sanitize')
| -rw-r--r-- | gdb/doc/.Sanitize | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/gdb/doc/.Sanitize b/gdb/doc/.Sanitize index de85865..4a92647 100644 --- a/gdb/doc/.Sanitize +++ b/gdb/doc/.Sanitize @@ -17,8 +17,6 @@ Do-first: -echo Sanitizing `pwd`... - # 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 @@ -27,11 +25,12 @@ echo Sanitizing `pwd`... Things-to-keep: -Makefile +Makefile.in all.m4 amd29k.m4 -gdbinv-m.m4 -gdbinv-s.m4 +configure.in +gdbinv-m.m4.in +gdbinv-s.m4.in gdb.texinfo gdbint.texinfo gen.m4 @@ -56,7 +55,10 @@ echo Done in `pwd`. # # # $Log$ -# Revision 2.6 1991/08/23 22:35:41 pesch +# Revision 2.7 1991/11/21 02:44:53 gnu +# For configure-able doc dir. +# +# Revision 2.6 1991/08/23 22:35:41 pesch # * rdl-apps.texi: renamed from rdl-apps.texinfo # # * Makefile, .Sanitize, gdb.texinfo: reflect above name change |