diff options
| author | unknown <serg@serg.mylan> | 2003-07-28 17:50:06 +0200 |
|---|---|---|
| committer | unknown <serg@serg.mylan> | 2003-07-28 17:50:06 +0200 |
| commit | 0f85fb676c1ecf7b148af3ca92402099eb179e62 (patch) | |
| tree | 6bed5d45632e8707e7ffb85a0980f26ab147064a /Docs | |
| parent | ce890a1dcd7927777d2bf666975615f0dfed8923 (diff) | |
| download | mariadb-git-0f85fb676c1ecf7b148af3ca92402099eb179e62.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=;;' >> $@ |