diff make-dist @ 36514:9f8d10fad236

Fix Texinfo usage. Write GNU/Linux, not Linux.
author Richard M. Stallman <rms@gnu.org>
date Sun, 04 Mar 2001 07:14:22 +0000
parents 3f8e87ac64ab
children 4bfdb0896d45
line wrap: on
line diff