mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2026-05-15 03:17:20 +02:00
Code Issues Projects Releases Packages Wiki Activity

Fixed bug when having many binary log files

Browse source 
Fixed bug when deleting keys with possible NULL values
many changes to mysqltest
This commit is contained in:
monty@donna.mysql.com 2001-01-08 00:04:30 +02:00
commit 6d0e529042
33 changed files with 761 additions and 574 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Docs/Makefile.am
View file

@ -99,7 +99,7 @@ nusphere.pdf: manual.texi
manual_a4.ps: manual.texi include.texi
TEXINPUTS=$(srcdir):$$TEXINPUTS \
MAKEINFO='$(MAKEINFO) -I $(srcdir)' \
$(TEXI2DVI) --batch --texinfo '@afourpaper' $<
$(TEXI2DVI) --batch --texinfo --quiet '@afourpaper' $<
$(DVIPS) -t a4 manual.dvi -o $@
touch $@