Skip to content

Corpora rearrangement#5

Merged
lentinj merged 6 commits into
masterfrom
corpora-rearrangement
Jun 18, 2026
Merged

Corpora rearrangement#5
lentinj merged 6 commits into
masterfrom
corpora-rearrangement

Conversation

@lentinj

@lentinj lentinj commented Jun 18, 2026

Copy link
Copy Markdown
Member

Break up corpora.bib into something more manageable, and update documentation to reflect modern reality.

lentinj added 6 commits June 18, 2026 10:09
* The Zotero shared folder is long forgotten
* Break up .bib file instructions to match the separate files
* Remove nonexistant tagging instructions, replace with pull request
In theory a human-readable version of the corpora.bib, it had mostly
rotted.

If we need to resurrect it, we can generate a github pages site.
@github-actions

Copy link
Copy Markdown

@lentinj lentinj merged commit 6fa23c2 into master Jun 18, 2026
1 check passed
@lentinj lentinj deleted the corpora-rearrangement branch June 18, 2026 10:38
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