Please find attached here a small patch:
*** texinfo.txi~ 2013-01-01 20:31:56.000000000 +0100
--- texinfo.txi 2013-01-02 10:33:26.000000000 +0100
***************
*** 10262,10268 ****
* syncodeindex:: How to merge two indices, using @code{@@code}
font for the merged-from index.
* synindex:: How to merge two indices, using the
! default font of the merged-to index.
@end menu
--- 10262,10268 ----
* syncodeindex:: How to merge two indices, using @code{@@code}
font for the merged-from index.
* synindex:: How to merge two indices, using the
! roman font for the merged-from index.
@end menu
that corrects a confusing menu entry description. Perhaps it used to be correct but is no longer? Anyway, here is a suitable ChangeLog entry:
2013-01-02 Thien-Thi Nguyen <[email protected]> (tiny change) * doc/texinfo.txi (Combining Indices): Fix typo: Say "roman font for merged-from". -- Thien-Thi Nguyen ..................................... GPG key: 4C807502 . NB: ttn at glug dot org is not me . . (and has not been since 2007 or so) . . ACCEPT NO SUBSTITUTES . ........... please send technical questions to mailing lists ...........
pgpxIB_KNqDhk.pgp
Description: PGP signature
