Building the Documentation¶
Libtropic documentation is built using the two following frameworks, each building a different part of the documentation:
- MkDocs, used to generate the pages you are seeing right now,
- Doxygen, used to generate the API Reference from the Libtropic source code.
Normally, you should not need to build the documentation yourself - it is available on our GitHub Pages, where versions for all releases are automatically built and released by our GitHub Actions. However, in the case of contributing to the documentation, it is handy to be able to build it locally and preview the new changes. Refer to the following sections for steps on how to do that.
Install the Dependencies¶
Installing dependencies
First, instal MkDocs dependencies:
- Install Python 3, at least version 3.8.
- We recommend creating a Python Virtual Environment, for example with a name
.docs-venv:python3 -m venv .docs-venv source .docs-venv/bin/activate - Update
pipand install the neededpippackages usingdocs/requirements.txt:pip install --upgrade pip pip install -r docs/requirements.txt
After that, install Doxygen and Graphviz (used for the diagrams) - installation depends on your system, but we will use Ubuntu in this example:
sudo apt-get install doxygen graphviz
Build Doxygen Documentation¶
First, the API Reference has to be built using Doxygen:
Building Doxygen Documentation
- Switch to
docs/doxygen/:cd docs/doxygen/ - Build:
doxygen Doxyfile.in
The API Reference should be now built in docs/doxygen/build/html/.
Warning
These steps have to be done each time the contents of docs/doxygen/ change and you want to preview the changes.
Build MkDocs Documentation¶
MkDocs has the ability to run a builtin development server on localhost, where the documentation is automatically deployed. To run it, switch to the root Libtropic directory, where mkdocs.yml is located, and do:
Building MkDocs Documentation
mkdocs serve
Warning
MkDocs does not rebuilt the Doxygen documentation automatically - to rebuild it, repeat the steps from section Build Doxygen Documentation.
Tip
Each time you edit some files inside docs/, the server does not have to be stopped and run again - the server content will be automatically reloaded on each file save.
Versioned Documentation¶
When you build the documentation using the steps from the section Build MkDocs Documentation, the version selector in the page header is not visible as it is on our GitHub Pages. That is because for the versioning, we use the mike plugin for MkDocs. This plugin maintains the gh-pages branch, from which the GitHub Pages are deployed.
Preview the Versioned Documentation¶
The most common and safe use case is to locally preview the state of the documentation that is deployed to our GitHub Pages:
Previewing the Versioned Documentation
- Make sure you have the latest version of the
gh-pagesbranch fromorigin:Do notgit fetch origin git pull origin gh-pagesgit checkout gh-pages, because you will not be able to build the documentation there. Dogit checkoutwithmaster,developor any other branch based from one of these. - Run a builtin development server with the contents of
gh-pages:mike serve
In the terminal, you should see the address of the server. To open it in your browser, press Ctrl + Left Click or just manually copy it.
Edit the Versioned Documentation¶
Danger
Some of the following commands change the state of the local git repository, specifically the gh-pages branch, and possibly the origin remote!
If you need to locally deploy a new version and preview it, you have to modify the gh-pages branch:
Locally Deploying a New Version
mike deploy <version_name>
gh-pages branch will be created (if it does not already exist) and the generated documentation will be pushed to it. Danger
If you add the --push flag, the gh-pages branch will be pushed to origin - we do not recommend doing that! This applies to most of the mike commands.
To see all existing versions, do:
Seeing Existing Versions
mike list
Info
This command is safe - it does not change gh-pages branch.
To remove a specific version, do:
Deleting Existing Version
mike delete
There are more commands available - refer to the mike repository for more information.