From 4929e34dc13219d3eb57c9cf77117e0b6790dc85 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Pavel=20B=C5=99ou=C5=A1ek?= <brousek@ics.muni.cz> Date: Thu, 20 Apr 2023 14:35:30 +0200 Subject: [PATCH] Update README.md --- README.md | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index 39f1bc9..c01a61d 100644 --- a/README.md +++ b/README.md @@ -51,22 +51,26 @@ You can easily convert the Markdown files using various online and offline tools ### mkdocs -To create a simple website with the documentation, you can use [mkdocs](https://www.mkdocs.org/user-guide/deploying-your-docs/) +To create a simple website with the documentation, you can use [mkdocs](https://www.mkdocs.org/user-guide/deploying-your-docs/). -Run: +To prepare, install [Python 3](https://www.python.org/downloads/) and [pip](https://pip.pypa.io/en/stable/installation/) and run: + +``` +pip3 install -r requirements.txt +``` + +Then run a local live server: ```sh mkdocs serve ``` -to run a local live server or: +or build the site: ```sh mkdocs build ``` -to build the site. - You can [publish](https://www.mkdocs.org/user-guide/deploying-your-docs/) to GitHub Pages, Read the Docs or any web server. You can also upload the result to GitLab Pages by using the [.gitlab-ci.yml](.gitlab-ci.yml) in this repository. -- GitLab