Added missing files to make-dist work correctly
Authored by: artyom-beilis 2009-01-15
Parent: [r648]
Child: [r650]