It seems that texinfo-4.0 doesn't accept quotes in node names.
It is true. It is in the manual.
It should be fixed, I totally agree.
It's not trivial.
- texinfo-4.0 doesn't accept quotes in node names Mikael Djurfeldt
- Karl Berry
It seems that texinfo-4.0 doesn't accept quotes in node names.
It is true. It is in the manual.
It should be fixed, I totally agree.
It's not trivial.