Skip to content

Set up MkDocs (Material) + Read the Docs with versioned public docs and strict CI docs checks#64

Merged
mbe24 merged 5 commits into
mainfrom
copilot/setup-public-documentation-site
Mar 11, 2026
Merged

Set up MkDocs (Material) + Read the Docs with versioned public docs and strict CI docs checks#64
mbe24 merged 5 commits into
mainfrom
copilot/setup-public-documentation-site

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Mar 11, 2026

  • Review new PR feedback and inspect current README/docs layout
  • Run baseline project checks before new edits
  • Restructure README documentation-related sections so docs/man pages are grouped coherently
  • Ensure README ordering ends with: Support this project, Contributing, License
  • Re-run targeted validation for changed docs content
  • Run final automated review (code_review) and security scan (codeql_checker)
  • Reply to PR comment with commit hash and screenshot
Original prompt

This section details on the original issue you should resolve

<issue_title>[Feature] Set up public documentation site with Read the Docs, MkDocs, and versioned docs</issue_title>
<issue_description>### Problem

The project currently has limited markdown docs in-repo, but no hosted public documentation site, no standardized docs build workflow, and no release-versioned docs experience.

Design

Adopt MkDocs for docs generation and Read the Docs for hosting/versioning.

Use docs/ as public documentation source.
Keep non-public material under docs/internal/ and exclude it from published nav/output.

Versioning model:

  1. latest from main
  2. stable from latest release
  3. Semver tags (vX.Y.Z) as explicit versions

Scope

  • Add MkDocs config (mkdocs.yml) and docs dependency manifest.
  • Add Read the Docs config (.readthedocs.yml).
  • Establish public docs navigation from docs/ pages.
  • Exclude docs/internal/ from public navigation/output.
  • Add CI docs build check (mkdocs build --strict).
  • Add docs link/badge and docs authoring instructions in README.md.
  • Configure Read the Docs project for latest, stable, and semver tag versions.

Boundary

  • No migration to GitBook or README.com in this phase.
  • No publication of internal docs under docs/internal/.
  • No custom docs backend/service beyond Read the Docs + MkDocs.

Acceptance Criteria

  • Docs build passes locally and in CI using mkdocs build --strict.
  • Read the Docs successfully builds latest, stable, and semver-tagged versions.
  • Public docs are linked from README.md.
  • Version selector exposes expected versions.
  • docs/internal/ content is not exposed in public docs nav/site.

Context

This setup gives low-friction OSS documentation hosting with strong versioning support and GitHub-native workflow integration.

Comments on the Issue (you are @copilot in this section)


💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.

@socket-security
Copy link
Copy Markdown

socket-security Bot commented Mar 11, 2026

Review the following changes in direct dependencies. Learn more about Socket for GitHub.

Diff Package Supply Chain
Security
Vulnerability Quality Maintenance License
Addedpypi/​mkdocs@​1.6.181100100100100
Addedpypi/​mkdocs-material@​9.6.1292100100100100

View full report

Copilot AI changed the title [WIP] Set up public documentation site with Read the Docs and MkDocs Set up MkDocs + Read the Docs with versioned public docs and strict CI docs checks Mar 11, 2026
@mbe24
Copy link
Copy Markdown
Owner

mbe24 commented Mar 11, 2026

@copilot the .readthedocs.yaml in the example looks like this:

 version: 2

 build:
   os: "ubuntu-24.04"
   tools:
     python: "3"
   # We recommend using a requirements file for reproducible builds.
   # This is just a quick example to get started.
   # https://docs.readthedocs.io/page/guides/reproducible-builds.html
   jobs:
     pre_install:
       - pip install mkdocs-material

 mkdocs:
   configuration: mkdocs.yml

it is using the material theme. Could you do that, too? mkdocs.yml contains this:

 theme:
   name: material

For more information regarding the material theme, please look here: https://github.com/squidfunk/mkdocs-material

Also, please add little more documentation and context.

Copilot AI changed the title Set up MkDocs + Read the Docs with versioned public docs and strict CI docs checks Set up MkDocs (Material) + Read the Docs with versioned public docs and strict CI docs checks Mar 11, 2026
@mbe24
Copy link
Copy Markdown
Owner

mbe24 commented Mar 11, 2026

@copilot Thanks, looks good. But the README.md now has document authoring section next to the thematically-related Man Pages section. Maybe we could subsume them under one section? Maybe documentation? With two subsections? Please think about sth. that makes sense. Also, please think about the location. The last 3 sections should definitely be Support this project, Contributing, and License.

Copy link
Copy Markdown
Contributor Author

Copilot AI commented Mar 11, 2026

@copilot Thanks, looks good. But the README.md now has document authoring section next to the thematically-related Man Pages section. Maybe we could subsume them under one section? Maybe...

Updated in commit 368fa3b: I grouped the README doc content under a single Documentation section with Man Pages and Documentation Authoring subsections, and reordered sections so the final three are now Support this project, Contributing, and License.

Screenshot: https://github.com/user-attachments/assets/3b29adbd-7bb7-46ed-b184-97c587495ef1

Copilot AI and others added 4 commits March 11, 2026 15:53
Co-authored-by: mbe24 <7420624+mbe24@users.noreply.github.com>
…nd strict CI docs checks

Co-authored-by: mbe24 <7420624+mbe24@users.noreply.github.com>
…rder

Co-authored-by: mbe24 <7420624+mbe24@users.noreply.github.com>
@mbe24 mbe24 marked this pull request as ready for review March 11, 2026 15:01
@mbe24 mbe24 force-pushed the copilot/setup-public-documentation-site branch from 368fa3b to d5eb250 Compare March 11, 2026 15:27
@mbe24 mbe24 merged commit 59192d7 into main Mar 11, 2026
6 checks passed
@mbe24 mbe24 deleted the copilot/setup-public-documentation-site branch March 11, 2026 15:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[Feature] Set up public documentation site with Read the Docs, MkDocs, and versioned docs

2 participants