doc: Fix appending C comments in texinfo docs.