diff options
author | Michael I. Bushnell <mib@gnu.org> | 1994-03-25 18:45:03 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1994-03-25 18:45:03 +0000 |
commit | 67a25910332f7794e8494306a0618744c2395b54 (patch) | |
tree | 366fc90daec4d3af1e925dd411f18466c69efa29 | |
parent | ac6d6b10c7ff317c560b95e4569b9ce6af4e8602 (diff) |
Formerly Makefile.~5~
-rw-r--r-- | proc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proc/Makefile b/proc/Makefile index 6418883f..10bbf660 100644 --- a/proc/Makefile +++ b/proc/Makefile @@ -31,7 +31,7 @@ OBJS = wait.o hash.o host.o info.o main.o mgt.o notify.o pgrp.o msg.o \ SRCS = wait.c hash.c host.c info.c main.c mgt.c notify.c pgrp.c msg.c primes.c -DIST_FILES = $(SRCS) proc.h Makefile +DIST_FILES = $(SRCS) proc.h Makefile proc_exc.defs proc_excrepl.defs all: proc |