diff man/gnu.texi @ 81011:b0ab0f681d2d

Replace text inadvertantly removed by unpatched autoconf.
author Nick Roberts <nickrob@snap.net.nz>
date Sun, 20 May 2007 20:40:34 +0000
parents 4805684e0b00
children 02b9a9aa5b0c e6fdae9180d4
line wrap: on
line diff