diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2020-02-12 18:23:06 +0100 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2020-02-13 19:22:51 +0100 |
commit | a09d0ae4d177592bc132e4a3733bf0c7a6ddeb6a (patch) | |
tree | b12b5fc0625166ad206c1f07aa5b9d5ba1da84fa /gnulib | |
parent | 1e25cb44d17053d135cf760fe6169a67892bf2d1 (diff) | |
download | bison-a09d0ae4d177592bc132e4a3733bf0c7a6ddeb6a.tar.gz |
doc: simplify uses of references
This reverts "doc: work around problems with PDF generation", commit
d810aa3d8f76b1a4d7d402072f45a0662152ffd4. Upstream issue is fixed.
https://lists.gnu.org/r/bug-texinfo/2020-02/msg00006.html
* gnulib: Update.
* doc/bison.texi: Simplify.
Diffstat (limited to 'gnulib')
m--------- | gnulib | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/gnulib b/gnulib -Subproject 8cc34c349afc79e2728093e109a09f9f0aaa4b5 +Subproject 4fcedca004fd13aecb5c6f235a988a5548bcb9a |