13 EXTRA_DIST = $(bin_SCRIPTS) restore-header.sh
20 restore_tar = restore.tgz
22 restore.sh : restore-header.sh $(restore_tar)
23 { cat $<; cat $(restore_tar); } > $@
26 $(restore_tar) : $(restore_scripts)
27 ( cd $(top_srcdir)/scripts && tar cf - $(restore_scripts) ) | gzip > $@