;; documentation string from the previous menu. However, since such a
;; menu is illegal in a texinfo file, we can live with it.
;; documentation string from the previous menu. However, since such a
;; menu is illegal in a texinfo file, we can live with it.