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

bibtool: translate iso characters to latex. #400

Merged
merged 1 commit into from
Sep 12, 2022

Conversation

marcfehling
Copy link
Member

Part of #389.

This patch lets bibtool automatically take care of non-ASCII characters according to this resource:
https://github.com/ge-ne/bibtool/blob/master/lib/iso2tex.rsc

We already check for these in the latex CI stage, but it would be nice to have another level to identify these characters and to automatically get rid of them.

@bangerth bangerth merged commit 29f4829 into dealii:master Sep 12, 2022
@marcfehling marcfehling deleted the bibtool-isotex branch September 12, 2022 23:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants