diff man/texinfo.tex @ 40518:7f6156d8c1af

Update prev-pointer.
author Richard M. Stallman <rms@gnu.org>
date Tue, 30 Oct 2001 18:26:57 +0000
parents d740bf4f6714
children efec044efb3a
line wrap: on
line diff