mirror of
https://github.com/MariaDB/server.git
synced 2026-04-25 09:45:31 +02:00
Docs/Makefile.am
Fixed a small bug.. comment was being overwritten. Docs/Support/test-make-manual Will now fix it's own dependencies.. includes checking out files and creating it's own include.texi. Docs/Makefile.am: Fixed small bug, comment was not being included. ;) Docs/Support/test-make-manual: test-make-manual will now fix it's own dependencies. This is useful for those of us who don't have all files in the repository checked out all the time.
This commit is contained in:
parent
63383b7751
commit
e9ee2aa9cb
2 changed files with 70 additions and 2 deletions
|
|
@ -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 " >> $@
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue