# Description file for the Make command
FILES
= Makefile ident.c defs main.c doname.c misc.c files.c dosys.c\
OBJECTS
= ident.o main.o doname.o misc.o files.o dosys.o gram.o
GCOSFILES
= defs ident.c main.c doname.c misc.c gram.c gcos.c
$(CC
) -n
-s
$(CFLAGS
) $(OBJECTS
) $(LIBES
) -o make
install make
$(DESTDIR
)/bin
/make
printall
: # Print files off line.
print: $(FILES
) # print recently changed files
save
: # Write files on Spider store.
.
/make
-dp | grep
-v TIME
>1zap
/bin
/make
-dp | grep
-v TIME
>2zap
lint
: dosys.c doname.c files.c main.c misc.c ident.c gram.c
$(LINT
) dosys.c doname.c files.c main.c misc.c ident.c gram.c
cp
$(FILES
) /usr
/src
/cmd
/make