diff make-dist @ 97990:61fcd7a08a42

Mention Ubuntu make weirdness.
author Glenn Morris <rgm@gnu.org>
date Fri, 05 Sep 2008 04:01:53 +0000
parents f13d2ef47961
children 9419b837e9c6
line wrap: on
line diff