diff options
| -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 9ab25196df..02b3ee3536 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 `tools/` subdirectory and build the |