+EXTRA_DIST = $(bin_SCRIPTS) restore-header.sh
+
+restore_scripts = \
+ files-from-date.sh \
+ list-dates.sh \
+ restore-script.sh
+
+restore_tar = restore.tgz
+
+restore.sh : restore-header.sh $(restore_tar)
+ { cat $<; cat $(restore_tar); } > $@
+ chmod +x $@
+
+$(restore_tar) : $(restore_scripts)
+ ( cd $(top_srcdir)/scripts && tar cf - $(restore_scripts) ) | gzip > $@