Bozhidar Batsov
23bbfc80fa
Bump the copyright years
2023-02-24 07:57:29 +01:00
Bozhidar Batsov
416ffd3bbf
Bump the copyright years
2022-06-03 08:09:25 +03:00
Liam
ab85208b7b
Move go doc to new location ( #1366 )
...
Includes a couple other small fixes.
2022-04-18 13:05:15 +03:00
Kostas Tsiligkiris
a8a5f244e1
[DOCS] change pages to nav
...
mkdocs reports pages as deprecated and it should be replaced with
nav. I run locally mkdocs version 1.2.3
2022-04-11 21:52:53 +03:00
Kostas Tsiligkiris
0c84593c19
[DOCS] Add module for Rust language
...
The rust.md was based on python.md module.
2022-04-11 21:52:53 +03:00
Kostas Tsiligkiris
9ed0d772da
[DOCS] Fix problem with Edit in github link
...
The link is created with docs in it, even if the mkdocs.yml file
mentions doc as the documentation folder. I am not aware if there is
any other dependency in the name doc, I have renamed it to docs and
changed it also in the mkdocs.yml file. It seems docs is hardcoded in
the readthedocs theme :(
2022-04-11 09:11:28 +03:00
Bozhidar Batsov
c38ad8e516
Release Prelude 1.1
2021-02-14 12:31:04 +02:00
Bozhidar Batsov
dc37ee9bf9
[Docs] Update the mkdocs config to include the new pages
2020-10-09 16:34:57 +03:00
Bozhidar Batsov
019b8cb4b1
[Docs] Update copyright
2020-06-10 15:12:02 +03:00
Bozhidar Batsov
a7c82c865c
[Docs] Document the company-mode setup
2020-04-08 10:34:55 +03:00
Bozhidar Batsov
5b836e766a
[Docs] Document the programming module
2020-04-08 10:15:30 +03:00
Bozhidar Batsov
dd9b01a991
Bump the copyright years
2020-01-20 16:35:36 +02:00
Bozhidar Batsov
4490d51798
Restructure the README into a manual
2019-01-16 14:55:53 +02:00