diff options
author | jcole@tetra.spaceapes.com <> | 2001-01-20 04:10:42 -0600 |
---|---|---|
committer | jcole@tetra.spaceapes.com <> | 2001-01-20 04:10:42 -0600 |
commit | b04939b9640cab7a5612749994888451bd671364 (patch) | |
tree | 311ca80b4abd7b8769e537343d974166c27a95d8 /Docs/Support | |
parent | 027e6ba55d3fd9ea8967ef3e81c0e47489c43c73 (diff) | |
download | mariadb-git-b04939b9640cab7a5612749994888451bd671364.tar.gz |
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.
Diffstat (limited to 'Docs/Support')
-rwxr-xr-x | Docs/Support/test-make-manual | 68 |
1 files changed, 68 insertions, 0 deletions
diff --git a/Docs/Support/test-make-manual b/Docs/Support/test-make-manual index 72f4fdac10d..ab76fae915b 100755 --- a/Docs/Support/test-make-manual +++ b/Docs/Support/test-make-manual @@ -7,6 +7,54 @@ function die exit 1 } +needed_flags=0 +needed_texi2html=0 +needed_texinfo_tex=0 +needed_include_texi=0 + +if [ -e Flags/usa.txt ]; then + echo "Good, Flags are there." +else + echo -n "Checking out Flags..." + bk edit Flags >/dev/null 2>&1 + echo " Done." + needed_flags=1 +fi + +if [ -e Support/texi2html ]; then + echo "Good, texi2html is there." +else + echo -n "Checking out texi2html..." + bk edit Support/texi2html >/dev/null 2>&1 + echo " Done." + needed_texi2html=1 +fi + +if [ -e Support/texinfo.tex ]; then + echo "Good, texinfo.tex is there." +else + echo -n "Checking out texinfo.tex..." + bk edit Support/texinfo.tex >/dev/null 2>&1 + echo " Done." + needed_texinfo_tex=1 +fi + +if [ -e include.texi ]; then + echo "Good, include.texi is there." +else + echo -n "Creating include.texi..." + bk edit ../configure.in >/dev/null 2>&1 + echo "@c This file was generated by test-make-manual" > 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 + echo -n "@set default_port " >> include.texi + grep "MYSQL_TCP_PORT_DEFAULT=" ../configure.in | \ + sed -e 's;MYSQL_TCP_PORT_DEFAULT=;;' >> include.texi + echo " Done." + needed_include_texi=1 +fi + echo -n "Running makeinfo..." makeinfo --no-split -I . manual.texi @@ -36,6 +84,26 @@ else echo " Looks good." fi +needed_flags=0 +needed_texi2html=0 +needed_texinfo_tex=0 +needed_include_texi=0 + +if [ $needed_flags ]; then + bk clean Flags +fi + +if [ $needed_texi2html ]; then + bk clean Support/texi2html +fi + +if [ $needed_texinfo_tex ]; then + bk clean Support/texinfo.tex +fi + +if [ $needed_include_texi ]; then + rm -f include.texi +fi [ -z $BROWSER ] && BROWSER=netscape |