Subject: bug#11461: Making cc-mode.pdf fails

From: Andreas Schwab <[email-masked]>
Date: Sat, 12 May 2012 21:20:09 +0200

Actually the bug is already fixed in the latest version of texinfo.tex,
so it is probably better to just update it.

Andreas.

-- 
Andreas Schwab, [email-masked]
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."