* Makefile.in (dist-dir): New target, implementing a new dist system.