5 |
# directory not in the .clean file list. This should only |
# directory not in the .clean file list. This should only |
6 |
# be used by maintainers when producing a release. |
# be used by maintainers when producing a release. |
7 |
|
|
8 |
# Copyright (C) 2000, 2001 Free Software Foundation, Inc. |
# Copyright (C) 2000, 2001, 2002 Free Software Foundation, Inc. |
9 |
# |
# |
10 |
# This program is free software; you can redistribute it and/or modify |
# This program is free software; you can redistribute it and/or modify |
11 |
# it under the terms of the GNU General Public License as published by |
# it under the terms of the GNU General Public License as published by |
122 |
if ![info exists cleanfile] { |
if ![info exists cleanfile] { |
123 |
verbose "WARNING: no .clean file in $directory, removing the default set of \"*! core CVS RCS\"" 3 |
verbose "WARNING: no .clean file in $directory, removing the default set of \"*! core CVS RCS\"" 3 |
124 |
set allfiles [glob -nocomplain "$directory/*~"] |
set allfiles [glob -nocomplain "$directory/*~"] |
125 |
append allfiles " [glob -nocomplain "$directory/core"]" |
append allfiles " [glob -nocomplain "$directory/core*"]" |
126 |
append allfiles " [glob -nocomplain "$directory/CVS"]" |
append allfiles " [glob -nocomplain "$directory/CVS"]" |
127 |
|
append allfiles " [glob -nocomplain "$directory/Cvs.*"]" |
128 |
|
append allfiles " [glob -nocomplain "$directory/*.out"]" |
129 |
|
append allfiles " [glob -nocomplain "$directory/*.dvi"]" |
130 |
|
append allfiles " [glob -nocomplain "$directory/*.rej"]" |
131 |
|
append allfiles " [glob -nocomplain "$directory/*.orig"]" |
132 |
|
append allfiles " [glob -nocomplain "$directory/*.log"]" |
133 |
|
append allfiles " [glob -nocomplain "$directory/*.cvsignore"]" |
134 |
|
append allfiles " [glob -nocomplain "$directory/*.tgz"]" |
135 |
|
append allfiles " [glob -nocomplain "$directory/*.tar.gz"]" |
136 |
|
append allfiles " [glob -nocomplain "$directory/autom4te.cache"]" |
137 |
append allfiles " [glob -nocomplain "$directory/RCS"]" |
append allfiles " [glob -nocomplain "$directory/RCS"]" |
138 |
append allfiles " [glob -nocomplain "$directory/.\#*"]" |
append allfiles " [glob -nocomplain "$directory/.\#*"]" |
139 |
} else { |
} else { |