| commit | e84e4d3d2d6127bfd467d9fc18e09450245f7c41 | [log] [tgz] |
|---|---|---|
| author | Paul Jakma <paul.jakma@hpe.com> | Mon Feb 15 14:11:06 2016 +0000 |
| committer | Paul Jakma <paul.jakma@hpe.com> | Tue Mar 08 17:53:23 2016 +0000 |
| tree | 35fb3757c6d0f9675b67f17b3472824fa511d6a7 | |
| parent | a5efdb60905049e1224a020b78dd9699bdd15b29 [diff] |
doc: Distribute a modern version of texinfo.tex with the docs * doc/texinfo.tex: Ship a more recent texinfo.tex, from texinfo 6.1, so we don't have to worry about that. E.g., this should allow UTF-8 unicode chars to be used directly in the text. * doc/Makefile.am: Add previous to EXTRA_DIST