Skip to content

Remove docs/, which is a working document rather than documentation - #1121

Merged
Rafael-SOWNet merged 1 commit into
masterfrom
remove-a-working-document-from-the-repository
Aug 31, 2026
Merged

Remove docs/, which is a working document rather than documentation#1121
Rafael-SOWNet merged 1 commit into
masterfrom
remove-a-working-document-from-the-repository

Conversation

@Rafael-SOWNet

Copy link
Copy Markdown
Collaborator

docs/superpowers/plans/2026-08-29-real-ematcher.md is the implementation plan I wrote before the e-matcher work, and it went in with #1103 by accident — my tooling's default output directory is relative to the working directory, which was this repository.

It should not be here. It is a note to myself about the order to do things in rather than a description of the library, and it describes work that has since landed, so it is stale as well as out of scope. It is also the only file under docs/ — a top-level directory this repository does not otherwise have, since the documentation lives in Sources/AngouriMath/Docs/ and its contributor-facing part in Sources/AngouriMath/Docs/Contributing/.

Nothing references the path. The document is kept outside the repository, where it belongs.

Sorry for the noise.

🤖 Generated with Claude Code

https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura

`docs/superpowers/plans/2026-08-29-real-ematcher.md` is the implementation plan I wrote before the
e-matcher work in #1103, and it went in with that PR. It is a note to myself about the order to do
things in, not a description of the library, and it describes work that has since landed -- so it is
both out of scope for this repository and already stale.

It is also the only file under `docs/`, a top-level directory this repository does not otherwise
have: the documentation lives in `Sources/AngouriMath/Docs/`, and the contributor-facing part of it
in `Sources/AngouriMath/Docs/Contributing/`. Nothing references the path.
@Rafael-SOWNet
Rafael-SOWNet merged commit 58e38ba into master Aug 31, 2026
27 checks passed
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.

1 participant