diff options
| author | Richard Sandiford <rdsandiford@googlemail.com> | 2004-12-03 13:30:06 +0300 |
|---|---|---|
| committer | Richard Sandiford <rdsandiford@googlemail.com> | 2004-12-03 13:30:06 +0300 |
| commit | fdc1bab19dafb8c1f31a2990421af4bbd879f0c8 (patch) | |
| tree | 01c8e285a65a771977e960238bcd10d0ff0d00d8 /src-release | |
| parent | b96fedfb8b9c86650f30105b122123676232ef26 (diff) | |
Remove config.if.
Diffstat (limited to 'src-release')
| -rw-r--r-- | src-release | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src-release b/src-release index c6e43af13..9837ba3dc 100644 --- a/src-release +++ b/src-release @@ -44,7 +44,7 @@ PWD = $${PWDCMD-pwd} # ChangeLog omitted because it may refer to files which are not in this # distribution (perhaps it would be better to include it anyway). DEVO_SUPPORT= README Makefile.in configure configure.in \ - config.guess config.if config.sub config move-if-change \ + config.guess config.sub config move-if-change \ COPYING COPYING.LIB install-sh config-ml.in symlink-tree \ mkinstalldirs ltconfig ltmain.sh missing ylwrap \ libtool.m4 gettext.m4 ltcf-c.sh ltcf-cxx.sh ltcf-gcj.sh \ |