diff make-dist @ 111764:c757f4efde4e

Tweak previous nxml doc change.
author Glenn Morris <rgm@gnu.org>
date Tue, 23 Nov 2010 10:16:21 -0800
parents 43a1fb0eb2d8
children 2316b868d5be bab066ba345e
line wrap: on
line diff