diff make-dist @ 48518:0eb01081d9f5

(texinfo-format-separate-node): Handle node names with properties and with regular expression symbols in them.
author Robert J. Chassell <bob@rattlesnake.com>
date Sun, 24 Nov 2002 01:39:02 +0000 (2002-11-24)
parents f526d32944b1
children 23a1cea22d13
line wrap: on
line diff