diff doc/misc/woman.texi @ 85195:718f0bcfdb7c

(reftex-toc-do-promote): Use mapc rather than mapcar.
author Glenn Morris <rgm@gnu.org>
date Fri, 12 Oct 2007 06:34:33 +0000
parents 3d431f1997d8
children 5d58981e6690
line wrap: on
line diff