diff options
| author | unknown <serg@serg.mylan> | 2006-04-13 10:24:44 +0200 |
|---|---|---|
| committer | unknown <serg@serg.mylan> | 2006-04-13 10:24:44 +0200 |
| commit | 37f86950f174e7f7246da4c8d2ab5126b2b24697 (patch) | |
| tree | a35f41d871af0bb3d2c1198c7468ccc84f3ea1b4 /Docs/Support/make-makefile | |
| parent | 96118e848d79cece6b2020af7837562929c91726 (diff) | |
| parent | 4e6190ac4812c312280beed4cd102f1ce7824c16 (diff) | |
| download | mariadb-git-37f86950f174e7f7246da4c8d2ab5126b2b24697.tar.gz | |
merged
configure.in:
Auto merged
Diffstat (limited to 'Docs/Support/make-makefile')
| -rwxr-xr-x | Docs/Support/make-makefile | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/Docs/Support/make-makefile b/Docs/Support/make-makefile deleted file mode 100755 index 79cf06091fe..00000000000 --- a/Docs/Support/make-makefile +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/sh -# Use this when you have deleted Makefile and do not want to do a full -# build to get it back - -cd .. -automake --gnu Docs/Makefile -CONFIG_FILES=Docs/Makefile CONFIG_HEADERS= sh ./config.status |