Merge #12249 fix from 3.2

This commit is contained in:
Éric Araujo 2011-06-03 19:27:16 +02:00
commit 61c4372ce1

View file

@ -14,6 +14,7 @@ Using make
Luckily, a Makefile has been prepared so that on Unix, provided you have Luckily, a Makefile has been prepared so that on Unix, provided you have
installed Python and Subversion, you can just run :: installed Python and Subversion, you can just run ::
cd Doc
make html make html
to check out the necessary toolset in the :file:`tools/` subdirectory and build to check out the necessary toolset in the :file:`tools/` subdirectory and build