bug#13055: 24.3.50; `scroll-margin' not always honored in Info buffers

[Eli Zaretskii]

> From: Stefan Monnier <monnier@IRO.UMontreal.CA>
> Date: Mon, 03 Dec 2012 13:07:37 -0500
> Cc: 13055@debbugs.gnu.org
> 
> > 1. Eval: (setq scroll-margin 1)
> > 2. Eval: (info "(emacs) Intro")
> > 3. Type: <backspace>
> 
> I agree it would be good to extend scroll-margin so it applies in such
> cases as well.

Committed (as trunk revision 111079) under protest.