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.

Sign up for GitHub

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

Jump to bottom

project bibliographies #15

Open
kohlhase opened this issue Jan 18, 2018 · 0 comments
Open

project bibliographies #15

kohlhase opened this issue Jan 18, 2018 · 0 comments
Assignees
@tkw1536 @kohlhase
Labels
enhancement

Comments

@kohlhase
Copy link
Member

We have started to use the pubs= feature for project publications, e.g. http://kwarc.github.io/bibs/MaMoReD/ But these bibliographies are only generated from kwarcpubs.bib and *crossrefs.bib. But the projects also have outside publications that need to be cited, and these are (currently) in extpubs.bib and are thus not considered. We could

  • move them kwarcpubs.bib and reinterpret thhttp://kwarc.github.io/bibs/MaMoReD/at as "publications of KWARCies and in projects KWARCies are in"
  • leave them there and build from extpubs.bib as well.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@tkw1536 tkw1536

@kohlhase kohlhase

Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@tkw1536 @kohlhase