mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-17 20:42:30 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge arjen@work.mysql.com:/home/bk/mysql-4.0

Browse source 
into co3064164-a.bitbike.com:c:/home/mysql-4.0


Docs/manual.texi:
  Auto merged
This commit is contained in:
unknown 2001-11-16 11:05:20 +10:00
commit acb3b7ebf4
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
Docs/manual.texi
View file

@ -6652,7 +6652,8 @@ Download @strong{BitKeeper} from
Follow the instructions to install it.
@item
After @strong{BitKeeper} is installed, use this command if you want to clone
After @strong{BitKeeper} is installed, first go to the directory you
want to work from, and then use this command if you want to clone
the MySQL 3.23 branch:
@example
@ -6665,6 +6666,9 @@ To clone the 4.0 branch, use this command instead:
shell> bk clone bk://work.mysql.com:7001 mysql-4.0
@end example
In the above examples the source tree will be set up in the @file{mysql/}
or @file{mysql-4.0/} subdirectory of your current directory.
The initial download of the source tree may take a while, depending on the
speed of your connection; be patient.