comparison make-dist @ 36789:f71fe44b07ea

Simplify the discussion of DEL. Refer to `DEL Gets Help' node for fixing problems.
author Richard M. Stallman <rms@gnu.org>
date Wed, 14 Mar 2001 01:23:52 +0000
parents 3f8e87ac64ab
children 4bfdb0896d45
comparison
equal deleted inserted replaced
36788:c005d537d3cc 36789:f71fe44b07ea