mirror of
				https://github.com/MariaDB/server.git
				synced 2025-11-02 02:53:04 +03:00 
			
		
		
		
	
		
			
				
	
	
		
			138 lines
		
	
	
		
			2.9 KiB
		
	
	
	
		
			Bash
		
	
	
		
			Executable File
		
	
	
	
	
			
		
		
	
	
			138 lines
		
	
	
		
			2.9 KiB
		
	
	
	
		
			Bash
		
	
	
		
			Executable File
		
	
	
	
	
#!/bin/sh
 | 
						|
 | 
						|
needed_flags=0
 | 
						|
needed_texi2html=0
 | 
						|
needed_texinfo_tex=0
 | 
						|
needed_include_texi=0
 | 
						|
 | 
						|
if [ -z $BROWSER ]; then
 | 
						|
    BROWSER=netscape 
 | 
						|
    echo "BROWSER not set, using $BROWSER"
 | 
						|
fi
 | 
						|
 | 
						|
die ()
 | 
						|
{
 | 
						|
    echo
 | 
						|
    echo $1
 | 
						|
    cleanup
 | 
						|
    exit 1
 | 
						|
}
 | 
						|
 | 
						|
cleanup ()
 | 
						|
{
 | 
						|
    echo "Cleaning up..."
 | 
						|
    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
 | 
						|
 | 
						|
    for file in \
 | 
						|
        manual.aux manual.cp  manual.cps manual.dvi  \
 | 
						|
        manual.fn  manual.fns manual.ky  manual.html \
 | 
						|
        manual.pg  manual.toc manual.tp  manual.vr   \
 | 
						|
        mysql.info manual_toc.html                   ;
 | 
						|
    do
 | 
						|
        rm -f $file
 | 
						|
    done
 | 
						|
        
 | 
						|
}
 | 
						|
 | 
						|
 | 
						|
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
 | 
						|
 | 
						|
if [ $? != 0 ]; then
 | 
						|
    die "Manual has errors - fix before you commit"
 | 
						|
else
 | 
						|
    echo " Looks good."
 | 
						|
fi
 | 
						|
 | 
						|
 | 
						|
echo -n "Running texi2html..."
 | 
						|
/usr/bin/perl ./Support/texi2html -iso -number manual.texi
 | 
						|
 | 
						|
if [ $? != 0 ]; then
 | 
						|
    die "Manual has errors - fix before you commit"
 | 
						|
else
 | 
						|
    echo " Looks good."
 | 
						|
fi
 | 
						|
 | 
						|
 | 
						|
echo -n "Running texi2dvi..."
 | 
						|
texi2dvi --batch manual.texi > texi2dvi.out
 | 
						|
 | 
						|
if [ $? != 0 ]; then
 | 
						|
    die "Manual has errors - fix before you commit (saved in texi2dvi.out)"
 | 
						|
else
 | 
						|
    rm texi2dvi.out
 | 
						|
    echo " Looks good."
 | 
						|
fi
 | 
						|
 | 
						|
echo
 | 
						|
echo
 | 
						|
echo "Please examine your modifications in \`manual.html'."
 | 
						|
echo
 | 
						|
echo "If you would like to use a different browser, set the 'BROWSER' environment"
 | 
						|
echo "variable." 
 | 
						|
echo
 | 
						|
 | 
						|
$BROWSER file:`pwd`/manual_toc.html
 | 
						|
 | 
						|
echo "-- Press Enter to Continue --"
 | 
						|
read junk
 | 
						|
cleanup
 |