diff lispintro/texinfo.tex @ 59802:67941974673e

(Easy Customization): Adapt menu to node name change.
author Luc Teirlinck <teirllm@auburn.edu>
date Sun, 30 Jan 2005 14:45:53 +0000
parents c22fbd2084b4
children 23a17af379b1
line wrap: on
line diff