tree dc9533e55d3edc3cab50cb0f11aad3968674a16e
parent fc9d074576c89299cb624b49810b52eda2da9b2c
author gdt <gdt> 1088616315 +0000
committer gdt <gdt> 1088616315 +0000

Use EXTRA_DIST to distribute files, and don't list directories.
Remove disthook that removed the crud that was copied in due to this.