diff make-dist @ 80764:8c1de2106017

Update based on current directory layout and recommended tools.
author Jason Rumney <jasonr@gnu.org>
date Wed, 27 Aug 2008 16:53:46 +0000
parents 5e73f3fa746f
children f13d2ef47961
line wrap: on
line diff