diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2020-06-14 09:13:39 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2020-06-16 07:58:40 +0200 |
commit | e077bf1ebcdcd91de5de8944be3bf3c35a00b1fe (patch) | |
tree | c9df150870832a74bea539cca23c7de61ef54889 /po | |
parent | c35e829a762ef62b83a7843507ffbae847353a08 (diff) | |
download | bison-e077bf1ebcdcd91de5de8944be3bf3c35a00b1fe.tar.gz |
cex: don't assume the terminal supports "•"
Use of print_unicode_char suggested by Bruno Haible.
https://lists.gnu.org/r/bug-gettext/2020-06/msg00012.html
* src/gram.h (print_dot_fallback, print_dot): New.
* src/gram.c, src/derivation.c: Use it.
* tests/counterexample.at, tests/report.at: Adjust the test suite.
* .travis.yml, README-hacking.md: Adjust.
Diffstat (limited to 'po')
-rw-r--r-- | po/POTFILES.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/po/POTFILES.in b/po/POTFILES.in index 5b15e936..6b6d1e98 100644 --- a/po/POTFILES.in +++ b/po/POTFILES.in @@ -6,6 +6,7 @@ src/counterexample.c src/files.c src/fixits.c src/getargs.c +src/gram.h src/gram.c src/graphviz.c src/i18n-strings.c |