fix dist script for hg
Authored by: Jean-Francois Dockes 2013-01-31
Parent(s): [79cb7c]
Child(ren): [707b92]