Skip to content

Commit

Permalink
DevDocs: Comment on bibtool version
Browse files Browse the repository at this point in the history
lkastner authored and HereAround committed Nov 27, 2024

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
1 parent 0351c97 commit 9348958
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions docs/src/DeveloperDocumentation/documentation.md
Original file line number Diff line number Diff line change
@@ -131,6 +131,13 @@ changes in the bibliography. If so, this test fails and indicates that the
is not required that this test is passed. Still, please feel encouraged to fix
this failure by running `bibtool` locally as explained above.

!!! note "bibtool produces changes in unrelated parts of oscar_references.bib"
Sometimes `bibtool` will produce many changes when run locally. This can be
caused by a version difference. The version used in our github actions is
2.68. Check your version by running `bibtool -V`. When running this
command, please also pay attention whether any "Special configuration
options" are set.

Please follow the additional guidelines below, that are not checked by bibtool:

- Do not escape special characters like umlauts or accented characters. Instead, use the unicode character directly.

0 comments on commit 9348958

Please sign in to comment.