(--prompt code contributed by Harrison Fisk.)
Made mysql subsection title clear.
Little style cleanups.

manual.texi	Change note mods, 4.0.2.

into serg.mysql.com:/usr/home/serg/Abk/mysql-4.0

into rhols221.adsl.netsonic.fi:/home/my/bk/mysql-4.0

types, migrated mysqld.cc to use my_getopt.

into teton.kitebird.com:/home/paul/mysql-4.0

into sanja.is.com.ua:/home/bell/mysql/mysql-4.0

into teton.kitebird.com:/home/paul/mysql-4.0

how it's named on Mac OS X (thanks to Paul DuBois <paul@snake.net> 
for the hint)

build scripts work again.

into fred.bitbike.com:/home/arjen/mysql-4.0

Change table from 4 columns to 3 (looks better in output).

Manual_style_guidelines.txt	put back item I lost after manual merge.

into rhols221.adsl.netsonic.fi:/home/my/bk/mysql-4.0