Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add bibliography to the manual #116

Merged
merged 4 commits into from
Aug 20, 2024
Merged

Add bibliography to the manual #116

merged 4 commits into from
Aug 20, 2024

Conversation

fingolfin
Copy link
Member

The custom citation style is copied from OSCAR and basically ensures that the exact citation keys are used that we prescribe in the .bib file.

Citation keys are instead managed via bibtool. To this end, the helper script etc/format_bib can be run from the root directory of this package to reformat docs/src/refs.bib in a consistent way. If a custom citation key is desired, one can add a bibkey field.

The custom citation style is copied from OSCAR and basically ensures
that the exact citation keys are used that we prescribe in the .bib file.

Citation keys are instead managed via `bibtool`. To this end, the helper
script `etc/format_bib` can be run from the root directory of this package to
reformat `docs/src/refs.bib` in a consistent way. If a custom citation
key is desired, one can add a `bibkey` field.
@@ -0,0 +1,38 @@
#
# This file is included by docs/make_work.jl to define the custom citation style `oscar_style`.
Copy link
Member Author

Choose a reason for hiding this comment

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

@lgoettgens I think you wrote this file -- I copied it from Oscar.jl, but there is no mention of you. I'd be happy to add a copyright notice or whatever, let me know if you have a concrete suggestion. Or we leave it as-is, whichever you prefer.

(Both packages are under the same license, so that bit at least should be fine)

Copy link
Member

Choose a reason for hiding this comment

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

Hmm, what about something like the following?

Copyright (c) 2023 Lars Göttgens, The OSCAR Development Team
This file was copied from https://github.com/oscar-system/Oscar.jl version 1.1.0

I think that referencing the Oscar repository is the most important thing here.

But then we should do something similar for the other file that you copied: .bibtoolrsc. Either with 2021-2023 and both our names (according to its history https://github.com/oscar-system/Oscar.jl/commits/master/.bibtoolrsc), or I would be fine with just The OSCAR Development Team instead of individual names. And again add a reference to the Oscar repo, in the same style as for the other file.

Thanks a lot for thinking about such things!

Copy link
Member Author

Choose a reason for hiding this comment

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

Resolved.

Though I personally really don't want to claim copyright on a simple config file like .bibtoolrsc.

Copy link
Member

Choose a reason for hiding this comment

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

Thanks :)

Copy link

codecov bot commented Jul 31, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 80.75%. Comparing base (6ececca) to head (5f91227).
Report is 15 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master     #116      +/-   ##
==========================================
+ Coverage   71.03%   80.75%   +9.72%     
==========================================
  Files          10       10              
  Lines         901      904       +3     
==========================================
+ Hits          640      730      +90     
+ Misses        261      174      -87     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@fingolfin fingolfin requested a review from SoongNoonien July 31, 2024 11:44
docs/src/refs.bib Outdated Show resolved Hide resolved
docs/src/refs.bib Outdated Show resolved Hide resolved
docs/src/refs.bib Outdated Show resolved Hide resolved
.bibtoolrsc Outdated Show resolved Hide resolved
Copy link
Member

@SoongNoonien SoongNoonien left a comment

Choose a reason for hiding this comment

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

Besides the changes @lgoettgens suggested I don't see any other issues.

docs/src/index.md Show resolved Hide resolved
@fingolfin fingolfin mentioned this pull request Aug 20, 2024
@fingolfin fingolfin merged commit 8788be1 into master Aug 20, 2024
6 of 7 checks passed
@fingolfin fingolfin deleted the mh/bib branch August 20, 2024 15:59
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.

3 participants