Subject: bug#10770: info-display-manual replaces existing *info* buffer

From: Eli Zaretskii <[email-masked]>
Date: Thu, 09 Feb 2012 21:04:40 +0200

> From: Glenn Morris <[email-masked]>
> Cc: [email-masked]
> Date: Thu, 09 Feb 2012 13:46:14 -0500
> 
> Maybe require a prefix arg, or have an option, to get that behaviour if
> you don't like it.

Juri's patch for generating *info*<N> automatically is OK with me.