merge r15941 to 8.09
authorAndy Boyett <[email protected]>
Wed, 20 May 2009 21:08:31 +0000 (21:08 +0000)
committerAndy Boyett <[email protected]>
Wed, 20 May 2009 21:08:31 +0000 (21:08 +0000)
commit51f8c9f2a73b54a752cbae3ea48cab1793ecdc25
treef4991bc94a1d97158eb4c9341c875fee1f34a30f
parent5289547599c2da7a13f6427ff5c56c23d28f938c
merge r15941 to 8.09
[docs] build: update svn url from https:// to svn://

SVN-Revision: 15942
docs/build.tex