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

Merge kite-hub.kitebird.com:/src/extern/MySQL/bk/mysql-4.1

Browse source 
into kite-hub.kitebird.com:/src/extern/MySQL/bk/merge-5.0
This commit is contained in:
paul@kite-hub.kitebird.com 2004-11-12 14:44:14 -06:00
commit 31493800d5
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Docs/Makefile.am
View file

@ -9,7 +9,7 @@
# If you know how to fix any of this more elegantly please mail
# docs@mysql.com
TEXI2HTML_FLAGS = -iso -number
TEXI2HTML_FLAGS = -iso -number -acc
DVIPS = dvips
MAKEINFO = @MAKEINFO@
TEXINFO_TEX = Support/texinfo.tex