From 0de33667bf79bddc66389c4f102876979368403e Mon Sep 17 00:00:00 2001 From: ceriel Date: Fri, 12 Nov 1993 10:02:53 +0000 Subject: [PATCH] Little trick to make distribution easier --- etc/.distr | 1 + etc/Makefile | 1 + 2 files changed, 2 insertions(+) diff --git a/etc/.distr b/etc/.distr index bbf41210f..b9c5d3c85 100644 --- a/etc/.distr +++ b/etc/.distr @@ -1,6 +1,7 @@ proto.make em_table new_table +new_table_done pop_push traps ip_spec.t diff --git a/etc/Makefile b/etc/Makefile index 23fc35ba4..a75c5c3d1 100644 --- a/etc/Makefile +++ b/etc/Makefile @@ -16,6 +16,7 @@ $(FILES): em_table install: $(FILES) distr: $(FILES) + touch new_table_done opr: make pr ^ opr