diff options
| author | serg@serg.mylan <> | 2003-07-28 17:50:06 +0200 |
|---|---|---|
| committer | serg@serg.mylan <> | 2003-07-28 17:50:06 +0200 |
| commit | c46f888fe39fd93166cdc6ded6cbd04da1b2b836 (patch) | |
| tree | 6bed5d45632e8707e7ffb85a0980f26ab147064a /Docs | |
| parent | 904cad878325be53c185118073ab52b42398194f (diff) | |
| download | mariadb-git-c46f888fe39fd93166cdc6ded6cbd04da1b2b836.tar.gz | |
Followup to Jim's changes in mysqldoc tree. Unfortunately, it's too late for 4.0.14 :(
Diffstat (limited to 'Docs')
| -rw-r--r-- | Docs/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Docs/Makefile.am b/Docs/Makefile.am index 26249028539..17450c3b072 100644 --- a/Docs/Makefile.am +++ b/Docs/Makefile.am @@ -40,10 +40,10 @@ paper: manual_a4.ps manual_letter.ps $(PDFMANUAL) # The Makefile contains the previous version so we can not use that include.texi: ../configure.in echo "@c This file is autogenerated by the Makefile" > $@ - echo -n "@set mysql_version " >> $@ + echo -n "@set mysqlversion " >> $@ grep "AM_INIT_AUTOMAKE(mysql, " ../configure.in | \ sed -e 's;AM_INIT_AUTOMAKE(mysql, ;;' -e 's;);;' >> $@ - echo -n "@set default_port " >> $@ + echo -n "@set defaultport " >> $@ grep "MYSQL_TCP_PORT_DEFAULT=" ../configure.in | \ sed -e 's;MYSQL_TCP_PORT_DEFAULT=;;' >> $@ |