Skip to content

docs: move Stan's docs book to a mdbook#23

Merged
zah merged 8 commits intomainfrom
docs-mdbook
Mar 13, 2025
Merged

docs: move Stan's docs book to a mdbook#23
zah merged 8 commits intomainfrom
docs-mdbook

Conversation

@alehander92
Copy link
Contributor

@alehander92 alehander92 commented Mar 7, 2025

Closing #33 :

  • setup of mdbook, also use mdbook-alerts as a plugin : https://crates.io/crates/mdbook-alerts
  • moving and adapting the docs, removing some docs that are not suitable for public or only relevant for the RR backend
  • move from docs/experimental-documentation to docs/book
  • a small bugfix for devshell / node_modules found while working

TODO: how and where to deploy it exactly?

@cla-bot cla-bot bot added the cla-signed label Mar 7, 2025
@alehander92 alehander92 marked this pull request as draft March 7, 2025 14:50
@alehander92 alehander92 self-assigned this Mar 7, 2025
@alehander92 alehander92 force-pushed the docs-mdbook branch 2 times, most recently from 144dec8 to 550ee1e Compare March 7, 2025 14:55
@alehander92 alehander92 added the documentation Improvements or additions to documentation label Mar 10, 2025
@alehander92 alehander92 linked an issue Mar 10, 2025 that may be closed by this pull request
3 tasks
@alehander92 alehander92 changed the title docs: start moving Stan's docs book to mdbook docs: move Stan's docs book to a mdbook Mar 11, 2025
@alehander92 alehander92 marked this pull request as ready for review March 11, 2025 19:40
…e CI docs workflow

* for now add them to the devshell: something not working correctly with the
shell.nix for me, also a bit easier to just share the same env;
(however it's valuable to have a more fine-grained shell for the docs only)

* TODO: add deploy for the docs
for now not including the C/C++ manual build docs and the tester docs,
as they seem rr-backend specific
Copy link
Contributor

@Madman10K Madman10K left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just some comments. LGTM otherwise. Did not test hosting or deploying it

@@ -0,0 +1,5 @@
## Lua

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

No need for a new line

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

i propose to keep the newlines, if possible: the markdown seems more well structured this way to me, but this might be subjective

@@ -0,0 +1,7 @@
## Noir

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

No need for a new line

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

(same as above)

@Madman10K
Copy link
Contributor

For hosting deployment, I also want to check later whether it can also be pushed to our repository's wiki because I want to read docs while still on github and many more users will probably appreciate it too

@zah zah merged commit 529f193 into main Mar 13, 2025
13 checks passed
@zah zah deleted the docs-mdbook branch March 13, 2025 11:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cla-signed documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Port documentation to mdbook

3 participants