From 34d109312866552e1d7a1d7b1b470329a9727a51 Mon Sep 17 00:00:00 2001 From: Lorraine Hwang Date: Sat, 1 Jun 2024 14:28:17 -0600 Subject: [PATCH] Update building_documentation.md Minor cosmetic changes. --- .../building_documentation.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/doc/sphinx/developer_manual/contributing_to_the_documentation/building_documentation.md b/doc/sphinx/developer_manual/contributing_to_the_documentation/building_documentation.md index da945df83..e3ca61c0a 100644 --- a/doc/sphinx/developer_manual/contributing_to_the_documentation/building_documentation.md +++ b/doc/sphinx/developer_manual/contributing_to_the_documentation/building_documentation.md @@ -2,7 +2,7 @@ Building documentation ========================= -To build the documentation locally, you first need to ensure you have the right Python packages installed. The list of packages required to build the documentation is located in `$WORLD_BUILDER_SOURCE_DIR/doc/requirements.txt`, and can be installed using +To build the documentation locally, you first need to ensure you have the right Python packages installed. The list of packages required to build the documentation is located in `$WORLD_BUILDER_SOURCE_DIR/doc/requirements.txt`, and can be installed using: :::{code-block} pip install -r $WORLD_BUILDER_SOURCE_DIR/doc/requirements.txt @@ -15,7 +15,9 @@ cd $WORLD_BUILDER_SOURCE_DIR/build \\ cmake -D WB_BUILD_DOCUMENTATION=ON . ::: -This adds the target for the documentation in `$WORLD_BUILDER_SOURCE_DIR/build/doc`, to finish building the documentation run the final commands: +This adds the target for the documentation in `$WORLD_BUILDER_SOURCE_DIR/build/doc`. + +To finish building the documentation run the final commands: :::{code-block} cd $WORLD_BUILDER_SOURCE_DIR/build/doc \\