Commit 48177c22d709ddfa33228b9a3653afa866e17bbf

Daniel Veillard 2001-01-23T15:27:41

Fixed a problem with EXTRA_DiST, Daniel.