diff options
Diffstat (limited to 'Make.desc.X')
-rw-r--r-- | Make.desc.X | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/Make.desc.X b/Make.desc.X deleted file mode 100644 index 6fcb79e2778a..000000000000 --- a/Make.desc.X +++ /dev/null @@ -1,24 +0,0 @@ -# Makefile for .desc files - -# This makefile is the prototype for "Make.desc", which is used by -# top's Configure script to build .desc files and the SYNOPSIS file. -# Configure then uses these files to ask appropriate questions. - -# Written by William LeFebvre, Group sys Consulting -# (formerly of Northwestern University and Rice University) - -# DO NOT EDIT "Make.desc"!!! Make changes to "Make.desc.X", -# then "make veryclean", then run "Configure". - -# The list of .desc files will be inserted after this next line: -DESCS=\ - -.SUFFIXES: .desc - -.c.desc: - sed -e '/^$$/,$$d' -e 's,^[/ *]*,,' $< > $@ - -all: SYNOPSIS - -SYNOPSIS: $(DESCS) - grep SYNOPSIS: $(DESCS) | sed -e 's@^machine/m_@@' -e 's@.desc:.[^:]*: *@:@' >SYNOPSIS |