diff options
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/documenting/building.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Doc/documenting/building.rst b/Doc/documenting/building.rst index 19cf26b..dc1c6a0 100644 --- a/Doc/documenting/building.rst +++ b/Doc/documenting/building.rst @@ -14,6 +14,7 @@ Using make Luckily, a Makefile has been prepared so that on Unix, provided you have installed Python and Subversion, you can just run :: + cd Doc make html to check out the necessary toolset in the :file:`tools/` subdirectory and build |