diff options
Diffstat (limited to 'Docs/Makefile.am')
| -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 4f61d93c0e5..3d8c3e39905 100644 --- a/Docs/Makefile.am +++ b/Docs/Makefile.am @@ -39,8 +39,8 @@ 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 -n "@c This file is autogenerated by the Makefile" > $@ - echo -n "@set mysql_version " > $@ + echo "@c This file is autogenerated by the Makefile" > $@ + echo -n "@set mysql_version " >> $@ grep "AM_INIT_AUTOMAKE(mysql, " ../configure.in | \ sed -e 's;AM_INIT_AUTOMAKE(mysql, ;;' -e 's;);;' >> $@ echo -n "@set default_port " >> $@ |