Adapt make-dist for Ubuntu crippling of md5
authorH.G. Muller <h.g.muller@hccnet.nl>
Fri, 7 Oct 2011 15:44:06 +0000 (17:44 +0200)
committerH.G. Muller <h.g.muller@hccnet.nl>
Fri, 7 Oct 2011 16:06:18 +0000 (18:06 +0200)
commit6b13783ce6730e04d2f84fd960d5ac93bbe3e68b
treed644b3a3b427975eea9202eeb2f208201a63a536
parentfa170c1ad7e08863206031c268e042908ad774dc
Adapt make-dist for Ubuntu crippling of md5

md5 apparently is not provided anymore in Ubuntu 10.04, and is replaced
by md5sum, which causes an error when it sees a directory, which
apparently cannot be suppressed by an option. A work-around is now
provided in the Makefile, through ignoring the result.
Makefile