diff options
| author | Bruno Haible <bruno@clisp.org> | 2021-09-22 23:07:24 +0200 |
|---|---|---|
| committer | Bruno Haible <bruno@clisp.org> | 2021-09-22 23:18:07 +0200 |
| commit | 25ce2d6b5fad4726ea1fc4d9bdf492505de0086e (patch) | |
| tree | c4e207313218da840a0beff96036efc201c44562 /.gitignore | |
| parent | 5d88f131091542816326a470e9dab945b763538d (diff) | |
| download | gnulib-25ce2d6b5fad4726ea1fc4d9bdf492505de0086e.tar.gz | |
doc: Don't assume that the output format is TeX-based or info.
Reported by Dietmar Schindler in
<https://lists.gnu.org/archive/html/bug-gnulib/2021-09/msg00095.html>.
* doc/regex.texi (Collating Elements vs. Characters): Assume a texinfo
version that groks UTF-8 encoded ISO-8859-1 characters.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions