diff make-dist @ 15363:d401fcd58f8c

(texinfo-copy-menu): Use double backslash to quote regexp.
author Karl Heuer <kwzh@gnu.org>
date Sun, 09 Jun 1996 13:42:55 +0000
parents a68e276baffd
children 30ac85981d2e
line wrap: on
line diff