diff options
Diffstat (limited to 'Docs/Support')
| -rwxr-xr-x | Docs/Support/make-docbook | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Docs/Support/make-docbook b/Docs/Support/make-docbook index bdca812d7ab..90c1696e92b 100755 --- a/Docs/Support/make-docbook +++ b/Docs/Support/make-docbook @@ -6,8 +6,12 @@ #create include.texi with version/port # echo "@c This file is autogenerated by the Makefile" > include.texi echo -n "@set mysql_version " >> include.texi +# grep "AM_INIT_AUTOMAKE(mysql, " ../configure.in | \ +# sed -e 's;AM_INIT_AUTOMAKE(mysql, ;;' -e 's;);;' >> include.texi +# 2002-04-26 arjen - the below just picks #.# instead of #.#.#-alpha +# (code by mwagner - tnx) grep "AM_INIT_AUTOMAKE(mysql, " ../configure.in | \ - sed -e 's;AM_INIT_AUTOMAKE(mysql, ;;' -e 's;);;' >> include.texi + perl -p -e 's/AM_INIT_AUTOMAKE\(mysql,\s(\d+\.\d+)\..+/$1/' >> include.texi echo -n "@set default_port " >> include.texi grep "MYSQL_TCP_PORT_DEFAULT=" ../configure.in | \ sed -e 's;MYSQL_TCP_PORT_DEFAULT=;;' >> include.texi |