comparison 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
comparison
equal deleted inserted replaced
80763:e9944bf78cbc 80764:8c1de2106017