mirror of
https://github.com/MariaDB/server.git
synced 2026-04-25 09:45:31 +02:00
Fix files not removed from make dist when deleted.
This commit is contained in:
parent
567ded2d9b
commit
4638ea25b7
1 changed files with 1 additions and 1 deletions
|
|
@ -15,7 +15,7 @@
|
|||
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
|
||||
|
||||
## Process this file with automake to create Makefile.in
|
||||
EXTRA_DIST = build-vs71.bat build-vs8.bat config-handlerton.js configure.js config-version.js README
|
||||
EXTRA_DIST = build-vs71.bat build-vs8.bat configure.js README
|
||||
|
||||
# Don't update the files from bitkeeper
|
||||
%::SCCS/s.%
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue